User contributions
6 November 2015
Logical graph
Axioms: sub <math>=\!=\!=\!=\!=\!=</math> for <math>\overline{\underline{~~~~~~}}\!</math>
-38
Logical graph
Duality : logical and topological: redo spaces -- TeX "~" doesn't work here anymore
Logical graph
update
-210
5 November 2015
Differential logic
update
-738
Boolean-valued function
update
-951
Boolean function
update
-671
Boolean domain
update
-661
Ampheck
update
+84
Logical negation
update
-328
Logical NNOR
update
-320
4 November 2015
Logical NAND
update
-320
Logical implication
update
-468
Relation theory
update
Relation theory
update
+132
Logical equality
update
-124
Logical equality
Syllabus: update
-204
3 November 2015
Semeiotic
update
-107
Cybernetics
Document history: cleanup
-19
Cybernetics
Document history: version links
-5
Semeiotic
Document history
-4
2 November 2015
31 October 2015
Ampheck
update
-74
Logical conjunction
update
-333
Exclusive disjunction
no edit summary
+1
Exclusive disjunction
update
-221
30 October 2015
Inquiry Live
update
-33
Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
update
+339
Relation composition
update
+303
Truth table
update
-733
Truth table
no edit summary
-6
29 October 2015
Logic Live
update
-104
Logic Live
Focal nodes
-54
Logic Live
Peer nodes
+19
Relation theory
update
-668
Semeiotic
update
-581
24 October 2015
23 October 2015
21 October 2015
20 October 2015
9 October 2015
4 October 2015
11 September 2015
5 September 2015
3 September 2015
2 September 2015
31 August 2015
28 August 2015
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
update
+6,814
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
update
+673