User contributions
24 August 2009
Minimal negation operator
de-awk
-5
Minimal negation operator
...
-12
Minimal negation operator
yet a gain
+23
Minimal negation operator
trim
-11
Minimal negation operator
avert a potential ambiguity
+12
Minimal negation operator
expand a bit
+90
Minimal negation operator
add exposition
+803
23 August 2009
Minimal negation operator
Charts and graphs: close <p>'s
+8
User:Jon Awbrey/MNO
Venn Diagrams
-68
User:Jon Awbrey/MNO
Truth Tables: cleanup
-2,356
Minimal negation operator
format
Minimal negation operator
revise typographical conventions
-46
Minimal negation operator
Truth tables: redo table
+128
User:Jon Awbrey/MNO
Version 3
-17
User:Jon Awbrey/MNO
Version 3?
+144
User:Jon Awbrey/MNO
Truth Tables
+2,357
User:Jon Awbrey/MNO
New Version
-56
Minimal negation operator
Truth tables: del column width spec
-56
User:Jon Awbrey/MNO
Venn Diagrams
User:Jon Awbrey/MNO
Venn Diagrams
+874
User:Jon Awbrey/MNO
Truth Tables: cleanup
-3,086
Minimal negation operator
Charts and graphs: redo figs with lower case labels
+131
File:Venn Diagram ((P),(Q),(R)).jpg
no edit summary
File:Venn Diagram (P,Q,R).jpg
no edit summary
Minimal negation operator
Charts and graphs: renum figs
-8
Minimal negation operator
cleanup
-11
Minimal negation operator
Truth tables: redo table
-422
User:Jon Awbrey/MNO
cleanup
-2,840
User:Jon Awbrey/MNO
Work Area
+137
User:Jon Awbrey/MNO
Work Area
+260
User:Jon Awbrey/MNO
Work Area
+106
User:Jon Awbrey/MNO
Work Area
-262
User:Jon Awbrey/MNO
Work Area
-1,079
User:Jon Awbrey/MNO
Truth Tables
+5,970
User:Jon Awbrey/MNO
Truth Tables
+2,815
User:Jon Awbrey/MNO
Truth Tables
+3,140
User:Jon Awbrey/MNO
add user workspace
22 August 2009
Minimal negation operator
\texttt format for logical parens
+170
Minimal negation operator
Truth tables
+27
Minimal negation operator
Truth tables
+2
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Document history
-13
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Document history: add cat
+34
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Document history
+28
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Analyzing contingent truths: convert graphics
-53,629
21 August 2009
Peirce's law
History: missed one
+5
Formal science
Document history
-1
Directory:Jon Awbrey
Articles: add item
+35
Formal science
copy article and content contributed to Wikipedia (12 Jan 2006 – 13 Feb 2006) by Jon Awbrey
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+349
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: del redun
-350