User contributions
14 October 2009
13 October 2009
9 October 2009
Sign-relational
#REDIRECT sign relation
Directory:Jon Awbrey/Papers/Semiotic Information
use redirect
-14
Directory:Jon Awbrey/Papers/Semiotic Information
cleanup
-32
5 October 2009
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Application of Higher Order Propositions to Quantification Theory: italix
+2
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Application of Higher Order Propositions to Quantification Theory: wrong wrappers
+34
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Application of Higher Order Propositions to Quantification Theory: de-awk
-187
30 September 2009
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): typo
User:Jon Awbrey/FONTS
Mathcal
+60
User:Jon Awbrey/FONTS
Mathcal
+97
User:Jon Awbrey/FONTS
Mathcal
+28
User:Jon Awbrey/FONTS
make user workspace
29 September 2009
28 September 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Enlargement and Difference Maps: typo
+1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Quick Review : Field Picture: remove old numbering from figures
-117
27 September 2009
24 September 2009
23 September 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Quick Review : Field Picture: del comma
-1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Quick Review : Field Picture: space
+1
22 September 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Propositional Forms on Two Variables: sub [over/Over}
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Transforms Expanded over Ordinary Features: typo
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Transforms Expanded over Ordinary Features: typo
19 September 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Worm's Eye View
-1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Differential Expansions of Propositions: split into subsections
+50
18 September 2009
Propositional calculus
cleanup
-11
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: switch order of terms
16 September 2009
15 September 2009
Charles Sanders Peirce
Theory of categories: fix blockquotes & ndashes
+158
Charles Sanders Peirce
cleanup
-11
8 September 2009
3 September 2009
2 September 2009
1 September 2009
Inquiry
cleanup
-11
Logic of information
<br><sharethis />
+2
Triadic relation
cleanup
-11
Hypostatic abstraction
cleanup
-8
31 August 2009
28 August 2009
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Example: convert graphics
-21,876
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example: edits a bit
+2
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