Propositional calculus: References & Edit History
More Articles On This Topic
- Formal logicThe propositional calculus
- MetalogicDiscoveries about logical calculi
- automata theoryThe generalized automaton and Turing’s machine
- Formal logicAxiomatization of LPC
- Formal logicModal logic
- Formal logicSpecial systems of LPC
- History of logicPropositional and predicate logic
- Philosophy of logicNature and varieties of logic
- History of logicErnst Schröder
Article Contributors
Primary Contributors
-
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
Other Encyclopedia Britannica Contributors
Article History
| Type | Description | Contributor | Date |
|---|---|---|---|
| Article title updated for style. | Nov 04, 2026 | ||
| Add new Web site: Rutgers University - Department of Mathematics - Lecture 1- Introduction to Propositional and Predicate Calculus. | Mar 15, 2024 | ||
| Add new Web site: Williams College - Propositional and Predicate Calculus. | Oct 27, 2023 | ||
| Add new Web site: Internet Encyclopedia of Philosophy - Propositional Logic. | Aug 16, 2010 | ||
| Added new Web site: Wolfram Mathworld - Propositional Calculus. | Jun 02, 2008 | ||
| Article added to new online database. | Jul 20, 1998 |
View Changes:
Article History
Revised:
By: