Results 241 to 250 of about 1,649 (263)
Some of the next articles are maybe not open access.
Stone Dualities from Opfibrations
Journal of Logical and Algebraic Methods in Programming, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Koki Nishizawa +2 more
openaire +2 more sources
An Extension of the Stone Duality
Acta Mathematica Hungarica, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Sonia, P. Sabogal
openaire +2 more sources
Stone Duality Type Theorems for MV-Algebras with Internal State
Communications in Algebra, 2012 Recently the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. A stronger version of state MV-algebras, called state-morphism MV-algebras, was given.
A Dvurečenskij, A Lettieri
exaly +2 more sources
Stone Dualities for Distributive Posets
Algebra and Logic, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Stone duality for languages and complexity
ACM SIGLOG News, 2017Complexity theory and the theory of regular languages both belong to the branch of computer science where the use of resources in computing is the main focus. However, they operate at different levels. While complexity theory seeks to classify computational problems by resource use, such as space and time, regular language theory remains at the very ...
Mai Gehrke, Andreas Krebs
openaire +1 more source
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics [PDF]
Electronic Notes in Theoretical Computer Science, 2018 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because — in addition to elegant abstraction — they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
exaly +2 more sources
Extending Stone duality to multisets and locally finite MV-algebras
Journal of Pure and Applied Algebra, 2004 Stone duality between boolean algebras and inverse limits of finite sets is extended to a duality between locally finite MV-algebras and a category of multisets naturally arising as inverse limits of finite ...
Roberto Cignoli +2 more
exaly +2 more sources
Discrete Dualities for Double Stone Algebras
Studia Logica, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivo Düntsch, Ewa Orlowska
openaire +2 more sources
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
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