User contributions
28 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example: convert graphics
-649
File:Praeclarum Theorema DNF.jpg
no edit summary
27 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Case analysis-synthesis theorem: convert graphics
-21,210
User:Jon Awbrey/GRAPHICS
Praeclarum Theorema : Proof by CAST
+43
User:Jon Awbrey/GRAPHICS
Propositional Equation Reasoning Systems
+2,599
File:Proof Praeclarum Theorema CAST 18.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 17.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 16.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 15.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 14.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 13.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 12.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 11.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 10.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 09.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 08.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 07.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 06.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 05.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 04.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 03.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 02.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 01.jpg
no edit summary
File:Proof Praeclarum Theorema CAST 00.jpg
no edit summary
26 August 2009
Minimal negation operator
External links: add item
+140
File:Equational Inference Bar -- Cast D.jpg
no edit summary
File:Equational Inference Bar -- Cast C.jpg
no edit summary
File:Equational Inference Bar -- Cast B.jpg
no edit summary
File:Equational Inference Bar -- Cast A.jpg
no edit summary
File:Praeclarum Theorema PERS.jpg
no edit summary
File:PERS Praeclarum Theorema.jpg
no edit summary
Minimal negation operator
trim agin
-49
Differential Logic : Introduction
redir title of paper
Minimal negation operator
none o yer fuzzy grey square bullets fer me
+153
Minimal negation operator
ins [defined in such a way] again
+17
25 August 2009
Minimal negation operator
re*write
+31
Minimal negation operator
to hedge a bet
+165
Minimal negation operator
Glossary of basic terms
+58
Minimal negation operator
Charts and graphs
+70
Minimal negation operator
sub [for/in]
+1
Minimal negation operator
sub [intermediary concept/preliminary definition]
+4
24 August 2009
Minimal negation operator
cleanup
-12
Minimal negation operator
Algebraic Boolean Context (ABC)
+77
Minimal negation operator
expand discussion of properties
+1,317
Minimal negation operator
spacing
-1
Minimal negation operator
Charts and graphs: spacing
-2
Minimal negation operator
Charts and graphs
-23
Minimal negation operator
typos
+4
Minimal negation operator
no edit summary
-1
Minimal negation operator
rewrite
+661