Boolean Algebra as the Basis of Mathematical Logic

Madison, WI, USA: Philosophypedia (2016)
  Copy   BIBTEX

Abstract

The theorems of the propositional calculus and the predicate calculus are stated, and the analogous principles of Boolean Algebra are identified. Also, the primary principles of modal logic are stated, and a procedure is described for identifying their Boolean analogues.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Hugues Leblanc, Boolean Algebra and the Propositional Calculus. [REVIEW]Gerald Standley - 1972 - Journal of Symbolic Logic 37 (4):755-755.
Boolean algebra and the propositional calculus.Hugues Leblanc - 1962 - Mind 71 (283):383-386.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Mathematical Logic: A Course with Exercises, Part 1—Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems.René Cori & Daniel Lascar - 2000 - Oxford, England: Oxford University Press. Edited by D. Lascar.
Hugues Leblanc. Boolean algebra and the propositional calculus. Mind, n.s. vol. 71 , pp. 383–386.Gerald Standley - 1972 - Journal of Symbolic Logic 37 (4):755.
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.Xinhe Wu - 2023 - Journal of Philosophical Logic 53 (1):293-330.
The satisfiability problem.John Franco, Endre Boros & P. L. Hammer (eds.) - 1999 - New York: Elsevier.
Outlines of a Boolean Tensor Algebra with Applications to the Lower Functional Calculus.Hakan Tornebohm - 1960 - Journal of Symbolic Logic 25 (4):367-368.
On an algebra of lattice-valued logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282-318.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.

Analytics

Added to PP
2018-09-23

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

John-Michael Kuczynski
University of California, Santa Barbara (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references