User contributions
27 May 2009
Directory:Jon Awbrey/Papers/Cactus Language
Note 1: markup
+615
Directory:Jon Awbrey/Papers/Cactus Language
Cactus Language: markup
+245
Directory:Jon Awbrey/Papers/Cactus Language
Cactus Language: markup
+380
Directory:Jon Awbrey/Papers/Cactus Language
Differential Logic: segment
-1,533
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Linear Topics : The Differential Theory of Qualitative Equations: format displays
+158
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Linear Topics : The Differential Theory of Qualitative Equations: format displays
+62
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Linear Topics : The Differential Theory of Qualitative Equations: fix quote
+53
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Propositional Forms on Two Variables: table colors
+105
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Example 1. A Polymorphous Concept: ASCII → JPEG
-5,773
File:Polymorphous Set.jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Differential Logic : First Approach: table colors
+8
26 May 2009
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Formal development: table colors
+58
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Casual introduction: table background
+48
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Cactus calculus: table colors
+24
Truth table
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
+204
Zeroth order logic
+ subhead
+42
Zeroth order logic
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-68
25 May 2009
Logical NNOR
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-1
Logical NAND
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-1
Logical implication
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-2
Logical equality
typo
+3
Logical equality
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-4
Logical disjunction
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-1
Logical conjunction
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-1
Logical negation
spacing
+14
Exclusive disjunction
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-1
Logical negation
table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
-16
Logical negation
apply column template
+24
Logical NNOR
no edit summary
+24
Logical implication
Document history
-8
Logical equality
See also
Logical disjunction
See also
Logical conjunction
See also
+1
Exclusive disjunction
See also
Logical NAND
no edit summary
+24
Exclusive disjunction
See also
+1
Logical implication
apply column template
+4
Logical equality
apply cloumn template
+24
Logical disjunction
apply column template
+24
Exclusive disjunction
apply column template
+23
Logical conjunction
use column template
+23
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Casual introduction: ASCII → JPEG
-4,701
File:Differential Propositional Calculus 3.jpg
no edit summary
File:Differential Propositional Calculus 2.jpg
no edit summary
File:Differential Propositional Calculus 1.jpg
no edit summary
23 May 2009
22 May 2009
Directory:Jon Awbrey/Projects/Cactus Language
update references
+81
Directory:Jon Awbrey/Projects/Cactus Language
reorg
+6
Directory:Jon Awbrey/Papers/Cactus Rules
segment
-4,338
Directory:Jon Awbrey/Projects/Cactus Language
Further reading
+127