Consequences, consistency, and independence in Boolean algebras

&
Notre Dame Journal of Formal Logic 22 (1):45-62 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883339

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Review: Frank Markham Brown’s Boolean Reasoning: The Logic of Boolean Equations. [REVIEW]Kari Saukkonen - 2005 - Australasian Journal of Logic 3:67-75.
Note about the Boolean parts of the extended Boolean algebras.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (3):419-422.
Boolean subtractive algebras.Thomas M. Hearne & Carl G. Wagner - 1974 - Notre Dame Journal of Formal Logic 15 (2):317-324.
A relational representation of quasi-Boolean algebras.J. Michael Dunn - 1982 - Notre Dame Journal of Formal Logic 23 (4):353-357.
Self-conjugate functions on Boolean algebras.Thomas A. Sudkamp - 1978 - Notre Dame Journal of Formal Logic 19 (3):504-512.
Homogeneous Boolean algebras with very nonsymmetric subalgebras.Sabine Koppelberg & J. Donald Monk - 1983 - Notre Dame Journal of Formal Logic 24 (3):353-356.
Solution to the problem concerning the Boolean bases for cylindric algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (4):529-545.
An additional remark on self-conjugate functions of Boolean algebras.Thomas A. Sudkamp - 1978 - Notre Dame Journal of Formal Logic 19 (4):637-638.
On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements.Saharon Shelah - 1981 - Notre Dame Journal of Formal Logic 22 (4):301-308.
Equational two axiom bases for Boolean algebras and some other lattice theories.Bolesław Sobociński - 1979 - Notre Dame Journal of Formal Logic 20 (4):865-875.

Analytics

Added to PP
2010-08-24

Downloads
40 (#560,724)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.

Add more citations

References found in this work

No references found.

Add more references