User contributions
MyWikiBiz, Author Your Legacy — Monday October 06, 2025
Jump to navigationJump to search- 15:36, 21 August 2009 diff hist +237 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 15:08, 21 August 2009 diff hist +372 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 13:20, 21 August 2009 diff hist +6 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems phrasing
- 13:05, 21 August 2009 diff hist -24 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems cleanup
- 04:18, 21 August 2009 diff hist +195 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 03:15, 21 August 2009 diff hist +174 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis
- 03:00, 21 August 2009 diff hist +1,035 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 21:25, 20 August 2009 diff hist +341 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 20:40, 20 August 2009 diff hist +181 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Proof as semiosis: TeX markup
- 16:34, 20 August 2009 diff hist -24,290 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphics
- 16:28, 20 August 2009 diff hist +16 User:Jon Awbrey/GRAPHICS →Proof 3: renumber frames
- 16:08, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg current
- 16:07, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg current
- 16:06, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg current
- 16:06, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg current
- 16:05, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg current
- 16:05, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg current
- 16:04, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg current
- 16:04, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg current
- 16:03, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg current
- 16:03, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg current
- 16:02, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg current
- 16:02, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg current
- 16:01, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg current
- 16:01, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg current
- 16:01, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg current
- 16:00, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg current
- 16:00, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg current
- 16:00, 20 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg current
- 15:48, 20 August 2009 diff hist 0 N File:Equational Inference Bar -- QED.jpg current
- 15:48, 20 August 2009 diff hist 0 N File:Equational Inference Bar -- Spike.jpg current
- 15:48, 20 August 2009 diff hist 0 N File:Equational Inference Bar -- Emptiness.jpg current
- 15:44, 20 August 2009 diff hist +2,467 User:Jon Awbrey/GRAPHICS →Propositional Equation Reasoning Systems: add proof template
- 15:20, 20 August 2009 diff hist +274 User:Jon Awbrey/GRAPHICS →Propositional Equation Reasoning Systems
- 04:30, 20 August 2009 diff hist +26,816 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: Proof 3 : Old Version
- 16:12, 19 August 2009 diff hist -1,532 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphic
- 16:00, 19 August 2009 diff hist 0 N File:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg current
- 12:56, 19 August 2009 diff hist +98 User:Jon Awbrey →Presently …: add item
- 12:54, 19 August 2009 diff hist +98 Directory:Jon Awbrey →Presently …: add item
- 12:52, 19 August 2009 diff hist +82 N PERS redir acronym current
- 12:20, 19 August 2009 diff hist -931 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphic
- 12:12, 19 August 2009 diff hist 0 N File:Logical Graph ((P , P Q R)).jpg current
- 03:25, 19 August 2009 diff hist -1,146 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphic
- 02:56, 19 August 2009 diff hist 0 N File:Logical Graph (P (Q)) (P (R)) DNF.jpg current
- 21:40, 18 August 2009 diff hist -683 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphic
- 21:30, 18 August 2009 diff hist 0 N File:Logical Graph (P Q R , (P)).jpg current
- 19:54, 18 August 2009 diff hist -11 Null graph cleanup
- 19:22, 18 August 2009 diff hist -7,506 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: convert graphic
- 19:14, 18 August 2009 diff hist +1,463 User:Jon Awbrey/GRAPHICS →Analysis of contingent propositions: add example
- 19:01, 18 August 2009 diff hist 0 N File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-8.jpg current
)_(P_(R))_%3D_(P_(Q_R))_3-17.jpg&oldid=90803){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-17.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-17.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-16.jpg&oldid=90802){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-16.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-16.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-15.jpg&oldid=90801){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-15.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-15.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-14.jpg&oldid=90800){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-14.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-14.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-13.jpg&oldid=90799){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-13.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-13.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-12.jpg&oldid=90798){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-12.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-12.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-11.jpg&oldid=90797){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-11.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-11.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-10.jpg&oldid=90796){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-10.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-10.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-09.jpg&oldid=90795){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-09.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-09.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-08.jpg&oldid=90794){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-08.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-08.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-07.jpg&oldid=90793){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-07.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-07.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-06.jpg&oldid=90792){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-06.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-06.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-05.jpg&oldid=90791){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-05.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-05.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-03.jpg&oldid=90790){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-03.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-03.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-04.jpg&oldid=90789){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-04.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-04.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-02.jpg&oldid=90788){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-02.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-02.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-01.jpg&oldid=90787){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-01.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-01.jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-00.jpg&oldid=90786){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-00.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_3-00.jpg){kind=link}
)_(P_(R))_,_(P_(Q_R))_)).jpg&oldid=90761){kind=link}
)_(P_(R))_,_(P_(Q_R))_)).jpg&action=history){kind=link}
)_(P_(R))_,_(P_(Q_R))_)).jpg){kind=link}
).jpg&oldid=90747){kind=link}
).jpg&action=history){kind=link}
).jpg){kind=link}
)_(P_(R))_DNF.jpg&oldid=90743){kind=link}
)_(P_(R))_DNF.jpg&action=history){kind=link}
)_(P_(R))_DNF.jpg){kind=link}
).jpg&oldid=90739){kind=link}
).jpg&action=history){kind=link}
).jpg){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-8.jpg&oldid=90734){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-8.jpg&action=history){kind=link}
)_(P_(R))_%3D_(P_(Q_R))_2-2-8.jpg){kind=link}