User contributions
16 October 2009
Relation composition
TeX markup
+5
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
References: + Chomsky (1957/1971)
+207
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
References: + Chomsky refs
+583
15 October 2009
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
re*style text displays --- decided that bullets hurt my eyes
-440
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
style text displays
+742
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
style text displays
+312
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
1.1. Topos : Rudiments and Immediate Resources: modify text displays
+77
14 October 2009
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
paragraph wrapper
+7
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
redo blockquotes
+243
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
References: + Chomsky (1955/1975)
+168
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