Boolean Algebras and Distributive Lattices Treated Constructively

Mathematical Logic Quarterly 45 (1):135-143 (1999)
  Copy   BIBTEX

Abstract

Some aspects of the theory of Boolean algebras and distributive lattices–in particular, the Stone Representation Theorems and the properties of filters and ideals–are analyzed in a constructive setting

Categories

Keywords

Reprint years

DOI

10.1002/malq.19990450113

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,211

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

A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
Finite Distributive Lattices As Sums Of Boolean Algebras.Jerzy Kotas & Piotr Wojtylak - 1995 - Reports on Mathematical Logic:35-40.
The Uniqueness Of The Decomposition Of Distributive Lattices Into Sums Of Boolean Lattices.Joanna Grygiel & Piotr Wojtylak - 1997 - Reports on Mathematical Logic:93-102.
On -fuzzy filters ofR0-algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
Finiteness conditions and distributive laws for Boolean algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
Contact semilattices.Paolo Lipparini - 2024 - Logic Journal of the IGPL 32 (5):815-826.
Free q-distributive lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.
PC-lattices: A Class of Bounded BCK-algebras.Sadegh Khosravi Shoar, Rajab Ali Borzooei, R. Moradian & Atefe Radfar - 2018 - Bulletin of the Section of Logic 47 (1):33-44.

Analytics

Added to PP
2009-01-28

Downloads
47 (#522,643)

6 months
3 (#1,170,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.

Add more citations

References found in this work

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Toposes and Local Set Theories. An Introduction.J. L. Bell - 1990 - Journal of Symbolic Logic 55 (2):886-887.

Add more references