User contributions
18 August 2009
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
User:Jon Awbrey/SCRATCHPAD
Outline Format: + example
+584
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+257
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Computation and inference as semiosis: spacing
+35
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: TeX markup
+73
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Computation and inference as semiosis: TeX markup
+135
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Computation and inference as semiosis: TeX markup
-10
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Computation and inference as semiosis: format display
+122
User:Jon Awbrey/SCRATCHPAD
Outline Format: + example
+574