Changes

83 bytes removed ,  23:14, 5 April 2010
Line 258: Line 258:  
{{col-break}}
 
{{col-break}}
 
* [[Ampheck]]
 
* [[Ampheck]]
* [[Boolean algebra]]
   
* [[Boolean domain]]
 
* [[Boolean domain]]
 
* [[Boolean function]]
 
* [[Boolean function]]
 
{{col-break}}
 
{{col-break}}
 
* [[Boolean-valued function]]
 
* [[Boolean-valued function]]
* [[Entitative graph]]
  −
* [[Existential graph]]
   
* [[Logical graph]]
 
* [[Logical graph]]
 +
* [[Minimal negation operator]]
 
{{col-break}}
 
{{col-break}}
* [[Minimal negation operator]]
+
* [[Peirce's law]]
* [[Monadic predicate calculus]]
   
* [[Propositional calculus]]
 
* [[Propositional calculus]]
 
* [[Zeroth order logic]]
 
* [[Zeroth order logic]]
12,080

edits