Review: Frank Markham Brown’s Boolean Reasoning: The Logic of Boolean Equations [Book Review]

Australasian Journal of Logic 3:67-75 (2005)
  Copy   BIBTEX

Abstract

Brown, Frank Markham: Boolean Reasoning: The Logic of Boolean Equations. Second edition, New York: Dover, 2003; i–xii, 291 pp. USD$16.95. ISBN: 0486427854.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v3i0.1774

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

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

George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
Consequences, consistency, and independence in Boolean algebras.Frank Markham Brown & Sergiu Rudeanu - 1981 - Notre Dame Journal of Formal Logic 22 (1):45-62.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
P ≠ NP for all infinite Boolean algebras.Mihai Prunescu - 2003 - Mathematical Logic Quarterly 49 (2):210-213.
Review: Arthur H. Copeland, Frank Harary, The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra. [REVIEW]K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):254-254.
A Boolean model of ultrafilters.Thierry Coquand - 1999 - Annals of Pure and Applied Logic 99 (1-3):231-239.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Decidable Boolean algebras of low level.S. S. Goncharov - 1998 - Annals of Pure and Applied Logic 94 (1-3):75-95.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Rudin-Keisler Posets of Complete Boolean Algebras.A. Pinus, P. Jipsen & H. Rose - 2001 - Mathematical Logic Quarterly 47 (4):447-454.

Analytics

Added to PP
2015-02-04

Downloads
11 (#1,130,421)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
On Cores and Prime Implicants of Truth Functions.W. V. Quine - 1970 - Journal of Symbolic Logic 35 (2):329-330.
Two Theorems about Truth-Functions.W. V. Quine - 1954 - Journal of Symbolic Logic 19 (2):142-143.

Add more references