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

Links

PhilArchive



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

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

The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Extension of relatively |sigma-additive probabilities on Boolean algebras of logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Partial Boolean algebras in a broader sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
W-algebras which are Boolean products of members of SR[1] and CW-algebras.Antoni Torrens - 1987 - Studia Logica 46 (3):265 - 274.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Q-ultrafilters and normal ultrafilters in b-algebras.Bronis?aw Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Boolean valued lie algebras.Hirokazu Nishimura - 1991 - Journal of Symbolic Logic 56 (2):731-741.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.

Analytics

Added to PP
2010-08-24

Downloads
33 (#484,501)

6 months
7 (#430,521)

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