Stone's representation theorem for Boolean algebras
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
- 2016
The study of Boolean algebras, has had a big impact on a variety of fields in mathematics. From functional analysis to other… (More)
Is this relevant?
2015
2015
- 2015
We prove a representation theorem for non-monotonic inference relations that are defined over elements of some Boolean algebras… (More)
Is this relevant?
2011
2011
- 2011
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean… (More)
Is this relevant?
2011
2011
- 2011
We define Boolean algebras over nominal sets with a functionsymbol Nmirroring the N‘fresh name’ quantifier. We also define dual… (More)
Is this relevant?
2010
2010
- 2010
The Stone representation theorem for Boolean algebras gives us a finite set of equations axiomatizing the class of Boolean set… (More)
Is this relevant?
2008
2008
- 2008
This note contains a Stone-style representation theorem for compact Haus-dorff spaces. The note is very much inspired by some… (More)
Is this relevant?
2006
2006
- 21st Annual IEEE Symposium on Logic in Computer…
- 2006
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
- Theor. Comput. Sci.
- 2005
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus… (More)
Is this relevant?
1996
1996
- Discrete Mathematics
- 1996
In this paper we present the topological version of the classical Stone's representation theorem for Boolean hyperalgebras.Â
Is this relevant?
1994
1994
- IEEE Trans. Knowl. Data Eng.
- 1994
The satisfiability (SAT) problem is a fundamental problem in mathematical logic, inference, automated reasoning, VLSI engineering… (More)
Is this relevant?