User contributions
7 November 2015
Parametric operator
update
-957
Multigrade operator
Document history
+14
Multigrade operator
update
-1,037
Relation composition
update
+145
6 November 2015
Minimal negation operator
update
-187
Logical graph
spacing in TeX <math>a \texttt{( )} = \texttt{( )},~\!</math>
+20
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