Search results

• Relation construction
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (621 words) - 19:18, 14 November 2015
• User:Jon Awbrey/SYLLABUS
  * [[Propositional calculus]] ...alPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]
  6 KB (706 words) - 19:02, 9 June 2010
• Multigrade operator
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (618 words) - 04:12, 7 November 2015
• Directory:Jon Awbrey/Projects/Semiotic Theory Of Information
  * [[Propositional calculus]]
  1 KB (130 words) - 20:24, 21 May 2010
• Relative term
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (599 words) - 20:20, 16 November 2015
• Sir Isaac Newton
  ...of his generation. He laid the foundation for differential and integral [[calculus]]. His work on optics and [[gravitation]] make him one of the greatest scie
  269 bytes (38 words) - 02:25, 29 January 2012
• Logical disjunction
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (656 words) - 00:40, 2 November 2015
• Logical conjunction
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (658 words) - 02:00, 31 October 2015
• Logical equality
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (664 words) - 04:18, 4 November 2015
• Logic of relatives
  ...f Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic]]”. ...f Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic”, ''Memoirs of the American Academy of Arts and Sciences'' 9
  7 KB (919 words) - 22:48, 10 November 2015
• Logical NNOR
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (678 words) - 03:44, 5 November 2015
• Logical NAND
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  5 KB (684 words) - 22:56, 4 November 2015
• Directory:Jon Awbrey/Projects/Logic Of Information
  * [[Propositional calculus]]
  2 KB (182 words) - 04:04, 19 June 2007
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...type, read as a proposition, is a theorem of intuitionistic propositional calculus. ...that <math>A \Rightarrow A</math> is a theorem of classical propositional calculus.
  150 KB (9,422 words) - 23:54, 6 July 2013
• Exclusive disjunction
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  6 KB (728 words) - 01:45, 31 October 2015
• Logical negation
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  6 KB (729 words) - 14:16, 5 November 2015
• Universe of discourse
  * [[Propositional calculus]] ...i/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
  6 KB (702 words) - 19:14, 7 November 2015
• Ampheck
  ...ion]]s, monadic predicate calculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]]. * [[Propositional calculus]]
  9 KB (1,221 words) - 15:04, 5 November 2015
• Zeroth order logic
  ...ctions]], logical connectives, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstracti * [[Propositional calculus]]
  10 KB (1,357 words) - 16:04, 8 November 2015
• Entitative graph
  ...rage of the [[formal system|formalism]] only as far as the [[propositional calculus|propositional or sentential]] aspects of logic are concerned.
  2 KB (200 words) - 14:26, 5 September 2017

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)