User contributions
MyWikiBiz, Author Your Legacy — Tuesday October 07, 2025
Jump to navigationJump to search- 19:01, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6.jpg current
- 19:01, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-9.jpg current
- 19:01, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-7.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-4.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-5.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-3.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-1.jpg current
- 19:00, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-0.jpg current
- 17:00, 18 August 2009 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: copyedit
- 16:53, 18 August 2009 diff hist +103 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: copyedit
- 16:21, 18 August 2009 diff hist -1,594 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems del redun & renum figs
- 14:15, 18 August 2009 diff hist +426 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Document history: add cats
- 14:14, 18 August 2009 diff hist 0 Directory:Jon Awbrey/Papers/Cactus Language
- 14:10, 18 August 2009 diff hist -11 Directory:Jon Awbrey/Papers/Inquiry Driven Systems cleanup
- 13:54, 18 August 2009 diff hist +18 N Category:Equational Reasoning '''{{PAGENAME}}''' current
- 13:52, 18 August 2009 diff hist +20 Category:Artificial Intelligence '''{{PAGENAME}}''' current
- 13:48, 18 August 2009 diff hist +38 Directory:Jon Awbrey/Papers/Cactus Language add cats
- 13:47, 18 August 2009 diff hist +75 Logical graph add cats
- 13:45, 18 August 2009 diff hist +403 Directory:Jon Awbrey/Papers/Cactus Language add cats
- 13:43, 18 August 2009 diff hist +62 Logical graph add cats
- 12:50, 18 August 2009 diff hist +1,314 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: redo proof display as table of figures
- 12:40, 18 August 2009 diff hist +42 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: number proof display
- 12:18, 18 August 2009 diff hist +43 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: insert equational inference bars
- 12:16, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- DNF.jpg current
- 11:50, 18 August 2009 diff hist +664 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: tables of thin line figs : unscaled & scaled
- 11:40, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg current
- 11:40, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg current
- 11:40, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg current
- 11:38, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg current
- 11:38, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg current
- 11:38, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg current
- 11:36, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg current
- 11:36, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg current
- 11:36, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg current
- 11:36, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg current
- 11:14, 18 August 2009 diff hist +704 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: table of unscaled figs
- 11:01, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast R.jpg current
- 11:00, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast Q.jpg current
- 11:00, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast P.jpg current
- 11:00, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- Domination.jpg current
- 11:00, 18 August 2009 diff hist 0 N File:Equational Inference Bar -- Cancellation.jpg current
- 10:58, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-9.jpg current
- 10:56, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-8.jpg current
- 10:56, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-7.jpg current
- 10:56, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-6.jpg current
- 10:55, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-5.jpg current
- 10:54, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-4.jpg current
- 10:54, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-3.jpg current
- 10:52, 18 August 2009 diff hist 0 N File:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-2.jpg current
)_(P_(R))_%3D_(P_(Q_R))_2-2-6.jpg&oldid=90733){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-6.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-6.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-9.jpg&oldid=90732){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-9.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-9.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-7.jpg&oldid=90731){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-7.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-7.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-4.jpg&oldid=90730){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-4.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-4.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-5.jpg&oldid=90729){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-5.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-5.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-3.jpg&oldid=90728){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-3.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-3.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-2.jpg&oldid=90727){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-2.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-2.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-1.jpg&oldid=90726){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-1.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-1.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-0.jpg&oldid=90725){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-0.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-0.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-9.jpg&oldid=90695){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-9.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-9.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-8.jpg&oldid=90694){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-8.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-8.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-7.jpg&oldid=90693){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-7.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-7.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-6.jpg&oldid=90692){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-6.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-6.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-5.jpg&oldid=90691){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-5.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-5.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-4.jpg&oldid=90690){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-4.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-4.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-3.jpg&oldid=90688){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-3.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-3.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-2.jpg&oldid=90687){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-2.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-2.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-1.jpg&oldid=90686){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-1.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-1.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-0.jpg&oldid=90685){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-0.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-1-0.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-9.jpg&oldid=90677){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-9.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-9.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-8.jpg&oldid=90676){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-8.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-8.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-7.jpg&oldid=90675){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-7.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-7.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-6.jpg&oldid=90674){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-6.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-6.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-5.jpg&oldid=90673){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-5.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-5.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-4.jpg&oldid=90672){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-4.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-4.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-3.jpg&oldid=90671){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-3.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-3.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-2.jpg&oldid=90670){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-2.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_Proof_2-1-2.jpg){kind=link}