Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and stone spaces

1984 ◽  
Vol 187 (1) ◽  
pp. 13-21 ◽  
Author(s):  
Hans Dobbertin
Keyword(s):  
Heyting Algebras ◽  
Stone Spaces ◽  
Distributive Semilattices ◽  
Refinement Monoids

scholarly journals Bitopological duality for distributive lattices and Heyting algebras

2010 ◽  
Vol 20 (3) ◽  
pp. 359-393 ◽  
Author(s):  
GURAM BEZHANISHVILI ◽  
NICK BEZHANISHVILI ◽  
DAVID GABELAIA ◽  
ALEXANDER KURZ
Keyword(s):  
Boolean Algebras ◽  
Distributive Lattices ◽  
Heyting Algebras ◽  
Priestley Spaces ◽  
Spectral Spaces ◽  
Algebraic Concepts ◽  
Stone Spaces

We introduce pairwise Stone spaces as a bitopological generalisation of Stone spaces – the duals of Boolean algebras – and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important in the study of distributive lattices. We also give new bitopological and spectral dualities for Heyting algebras, thereby providing two new alternatives to Esakia's duality.

scholarly journals O-Distributive Semilattices

1978 ◽  
Vol 21 (4) ◽  
pp. 469-475 ◽  
Author(s):  
Y. S. Pawar ◽  
And N. K. Thakare
Keyword(s):  
Sufficient Conditions ◽  
Distributive Semilattices

AbstractSufficient conditions for a semilattice to be a 0- distributive are obtained. Some equivalent formulations of 0- distributivity in a semilattice are given. Further, disjunctive 0- distributive semilattices are also characterized.

scholarly journals Residuated Structures and Orthomodular Lattices

Studia Logica ◽  
2021 ◽  
Author(s):  
D. Fazio ◽  
A. Ledda ◽  
F. Paoli
Keyword(s):  
Algebraic Logic ◽  
Residuated Lattices ◽  
Quantum Structures ◽  
Heyting Algebras ◽  
Quantum Algebras ◽  
Orthomodular Lattices ◽  
Lattice Of Subvarieties ◽  
Residuated Structures ◽  
Common Framework ◽  
Mv Algebras

AbstractThe variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated $$\ell $$ ℓ -groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated $$\ell $$ ℓ -groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated $$\ell $$ ℓ -groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.

QUASI-TOPOLOGICAL STONE SPACES

1994 ◽  
Vol 27 (3-4) ◽  
Author(s):  
Bronislaw Tembrowski
Keyword(s):  
Stone Spaces

scholarly journals A category of compositional domain-models for separable Stone spaces

2003 ◽  
Vol 290 (1) ◽  
pp. 599-635 ◽  
Author(s):  
Fabio Alessi ◽  
Paolo Baldan ◽  
Furio Honsell
Keyword(s):  
Domain Models ◽  
Stone Spaces

Splittings in varieties of logic

2021 ◽  
pp. 1-48
Author(s):  
Brian A. Davey ◽  
Tomasz Kowalski ◽  
Christopher J. Taylor
Keyword(s):  
Residuated Lattices ◽  
Heyting Algebras ◽  
General Lemma ◽  
Negative Results ◽  
Splitting Algebras

We study splittings or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the non-splitting lemma, which when combined with some variety-specific constructions, yields each of our negative results: the variety of commutative integral residuated lattices contains no splitting algebras, and in the varieties of double Heyting algebras, dually pseudocomplemented Heyting algebras and regular double [Formula: see text]-algebras the only splitting algebras are the two-element and three-element chains.

Forbidden structures in Heyting algebras with respect to sublattices

2017 ◽  
Vol 11 ◽  
pp. 211-224
Author(s):  
Manish Agalave ◽  
R. S. Shewale ◽  
Vilas Kharat
Keyword(s):  
Heyting Algebras

Interpretations into Heyting algebras

1987 ◽  
Vol 24 (1-2) ◽  
pp. 149-166 ◽  
Author(s):  
Renato Lewin
Keyword(s):  
Heyting Algebras

Perfect residuated lattice ordered monoids

2010 ◽  
Vol 60 (6) ◽  
Author(s):  
Jiří Rachůnek ◽  
Dana Šalounová
Keyword(s):  
Probability Measure ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Heyting Algebras ◽  
Effect Algebras ◽  
Quantum Logics ◽  
Mv Algebras ◽  
Intuitionistic Logics

AbstractBounded Rℓ-monoids form a large subclass of the class of residuated lattices which contains certain of algebras of fuzzy and intuitionistic logics, such as GMV-algebras (= pseudo-MV-algebras), pseudo-BL-algebras and Heyting algebras. Moreover, GMV-algebras and pseudo-BL-algebras can be recognized as special kinds of pseudo-MV-effect algebras and pseudo-weak MV-effect algebras, i.e., as algebras of some quantum logics. In the paper, bipartite, local and perfect Rℓ-monoids are investigated and it is shown that every good perfect Rℓ-monoid has a state (= an analogue of probability measure).

Sign in / Sign up

Export Citation Format

Share Document