Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Stone's representation theorem for Boolean algebras
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular… Expand
Is this relevant?
2016
2016
The study of Boolean algebras, has had a big impact on a variety of fields in mathematics. From functional analysis to other… Expand
Is this relevant?
2011
2011
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean… Expand
Is this relevant?
2006
2006
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the region connection calculus… Expand
Is this relevant?
1999
1999
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a new representation for Boolean functions called Partitioned ROBDDs. In this representation we divide the Boolean… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The satisfiability (SAT) problem is a fundamental problem in mathematical logic, inference, automated reasoning, VLSI engineering… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We propose a refinement of Kripke modal logic, and in particular of PDL (propostional dynamic logic)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The Stone representation theorem for Boolean algebras gives us a finite set of equations axiomatizing the class of Boolean set… Expand
Is this relevant?