User contributions
26 May 2012
Pragmatic theory of truth
update syllabus
+2,441
Pragmatic theory of truth
References: HTML
+180
Pragmatic theory of truth
References: update links
+170
24 May 2012
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
Current Work: copy template tables
+10,414
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
Completed Work
+42
23 May 2012
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
Current Work: + table data
+6
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+380
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+221
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application
+21
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+309
22 May 2012
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
Treat interpreters A and B as constants : sub[<math>\text{A}/<math>A] and sub[<math>\text{B}/<math>B]
+56
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
Treat interpreters A and B as constants : sub[L(\text{A})/L(A)] and sub[L(\text{B})/L(B)]
+448
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+83
21 May 2012
Logical matrix
TeX
+14
Logical matrix
del <br><sharethis />
-19
Logical matrix
Peer nodes: update
-136
Differential logic
del <br><sharethis />
-19
Differential logic
Peer nodes: update
-152
Minimal negation operator
del <br><sharethis />
-19
20 May 2012
17 May 2012
16 May 2012
Logical implication
unlink proposition for now
-4
Logical negation
no edit summary
-19
Logical NNOR
no edit summary
-19
Logical NAND
no edit summary
-19
Logical implication
no edit summary
-19
Logical equality
no edit summary
-19
Logical disjunction
no edit summary
-19
Logical conjunction
no edit summary
-19
Exclusive disjunction
no edit summary
-19
Truth table
Peer nodes: update
-124
Truth table
no edit summary
-19
Logical NNOR
“Neither Nor”
+14
Truth table
Logical NNOR
+405
Truth table
Logical NAND
+450
Truth table
Logical implication
+433
Truth table
Exclusive disjunction
+458
Truth table
Logical equality
+422
Truth table
Logical disjunction
+396
Truth table
Logical conjunction
+378
Truth table
Logical negation
-4
Logical NNOR
no edit summary
-4
Logical NAND
no edit summary
-4
Logical equality
no edit summary
-4
Logical disjunction
no edit summary
-4
Logical conjunction
no edit summary
-4
Truth table
Logical negation: TeX
+347
Logical negation
unlink
-4
Truth table
no edit summary
+4