User contributions
18 August 2009
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-9.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-7.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-4.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-5.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-3.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-1.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-0.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: copyedit
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: copyedit
+103
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
del redun & renum figs
-1,594
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Document history: add cats
+426
Directory:Jon Awbrey/Papers/Cactus Language
no edit summary
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
cleanup
-11
Category:Equational Reasoning
'''{{PAGENAME}}'''
Category:Artificial Intelligence
'''{{PAGENAME}}'''
+20
Directory:Jon Awbrey/Papers/Cactus Language
add cats
+38
Logical graph
add cats
+75
Directory:Jon Awbrey/Papers/Cactus Language
add cats
+403
Logical graph
add cats
+62
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: redo proof display as table of figures
+1,314
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: number proof display
+42
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: insert equational inference bars
+43
File:Equational Inference Bar -- DNF.jpg
no edit summary
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: tables of thin line figs : unscaled & scaled
+664
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg
no edit summary
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: table of unscaled figs
+704
File:Equational Inference Bar -- Cast R.jpg
no edit summary
File:Equational Inference Bar -- Cast Q.jpg
no edit summary
File:Equational Inference Bar -- Cast P.jpg
no edit summary
File:Equational Inference Bar -- Domination.jpg
no edit summary
File:Equational Inference Bar -- Cancellation.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-9.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-8.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-7.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-6.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-5.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-4.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-3.jpg
no edit summary
File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-2.jpg
no edit summary