User contributions
18 August 2009
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-1.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1 Head.jpg
no edit summary
User:Jon Awbrey/GRAPHICS
Propositional Equation Reasoning Systems: + examples
+974
User:Jon Awbrey/GRAPHICS
+ [Propositional Equation Reasoning Systems]
+46
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a 000.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: thin line figure
+4
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Alt.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: new figure
-5
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: alt fig
+5
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Thin.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-9,403
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a.jpg
no edit summary
17 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
renumber figures & tables
-20
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-4,405
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: fix figure ref
+1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-979
File:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg
no edit summary
Logical graph
Peirce's law: cleanup
-12
Logical graph
cleanup
-22
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-681
File:Logical Graph (P (Q)) (P (R)).jpg
no edit summary
16 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+127
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+158
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: tweak notation
-1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+226
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+20
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+323
14 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: format table
+301
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: format table
+371
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: format tables
+1,888
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: expand figure captions
+84
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
rename cellular automata q_i to f_i
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+111
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: format table
+117
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
-39
Charles Peirce (Bibliography)
redir
User:Jon Awbrey/SCRATCHPAD
Outline Format
+1,626
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+168
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+268
13 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+271
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+316
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+101
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+42
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+66
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+102
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: spacing
+25
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Computation and inference as semiosis: spacing
+27
User:Jon Awbrey/SCRATCHPAD
Outline Format: spacing
+26