Results 211 to 220 of about 1,026 (232)

Regular languages and stone duality

Theory of Computing Systems, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Discrete Dualities for Double Stone Algebras

Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivo Düntsch, Ewa Orlowska
openaire   +2 more sources

Stone duality for lattices

Algebra Universalis, 1997
To every lattice \(L\) one can assign a triple \((X_L, \perp , Y_L)\), where \(X_L\) and \(Y_L\) are the spaces of all ideals or of all filters of \(L\) and \(\perp \) is a binary relation between \(X_L\) and \(Y_L\). It was proven by \textit{R. I. Goldblatt} [Bull. Lond. Math. Soc.
Hartonas, C., Dunn, J. M.
openaire   +1 more source

Priestley Duality for Quasi-Stone Algebras

Studia Logica, 2000
The author describes the Priestley space of a quasi-Stone algebra in terms of a Priestley space with a certain equivalence relation. He shows that finite quasi-Stone algebras enjoy the amalgamation property and describes the Priestley space for free quasi-Stone algebras over a finite set.
openaire   +1 more source

Stone like duality in almost distributive lattices

Asian-European Journal of Mathematics, 2014
In this paper, we establish Stone like duality between the class of relatively complemented almost distributive lattices and the class of locally Boolean spaces.
Rao, G. C., Sundari Katakam, S. B. T.
openaire   +2 more sources

Stone Duality for Nominal Boolean Algebras with И

2011
We define Boolean algebras over nominal sets with a function-symbol И mirroring the И 'fresh name' quantifier (Banonas), and dual notions of nominal topology and Stone space. We prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.
Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan   +2 more
openaire   +2 more sources

Stone Duality and the Recognisable Languages over an Algebra

2009
This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic and theoretical computer science and the algebraic theory of finite state automata.
openaire   +2 more sources

Extensions of the stone duality to the category of Boolean spaces and continuous maps

Quaestiones Mathematicae, 2022
Elza Ivanova-Dimova
exaly  

Stone duality for Dedekind σ-complete ℓ-groups with order-unit

Journal of Algebra, 2006
Daniele Mundici, Roberto Cignoli
exaly  

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics

Electronic Notes in Theoretical Computer Science, 2018
Simon Docherty
exaly