# 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?