scholarly journals Compatible operations in some subvarieties of the variety of weak Heyting algebras

2013 ◽  
Author(s):  
Hernan San Martin
Keyword(s):  
Heyting Algebras ◽  
Weak Heyting Algebras

Frontal operators in distributive lattices with a generalized implication

2015 ◽  
Vol 08 (03) ◽  
pp. 1550039
Author(s):  
Sergio A. Celani ◽  
Hernán J. San Martín
Keyword(s):  
Distributive Lattice ◽  
Unary Operation ◽  
Duke Math ◽  
Distributive Lattices ◽  
Heyting Algebras ◽  
Bounded Distributive Lattice ◽  
Modal Lattices ◽  
Weak Heyting Algebras ◽  
San Martín

We introduce a family of extensions of bounded distributive lattices. These extensions are obtained by adding two operations: an internal unary operation, and a function (called generalized implication) that maps pair of elements to ideals of the lattice. A bounded distributive lattice with a generalized implication is called gi-lattice in [J. E. Castro and S. A. Celani, Quasi-modal lattices, Order 21 (2004) 107–129]. The main goal of this paper is to introduce and study the category of frontal gi-lattices (and some subcategories of it). This category can be seen as a generalization of the category of frontal weak Heyting algebras (see [S. A. Celani and H. J. San Martín, Frontal operators in weak Heyting algebras, Studia Logica 100(1–2) (2012) 91–114]). In particular, we study the case of frontal gi-lattices where the generalized implication is defined as the annihilator (see [B. A. Davey, Some annihilator conditions on distributive lattices, Algebra Universalis 4(1) (1974) 316–322; M. Mandelker, Relative annihilators in lattices, Duke Math. J. 37 (1970) 377–386]). We give a Priestley’s style duality for each one of the new classes of structures considered.

Principal congruences in weak Heyting algebras

2016 ◽  
Vol 75 (4) ◽  
pp. 405-418 ◽  
Author(s):  
Hernán Javier San Martín
Keyword(s):  
Heyting Algebras ◽  
Weak Heyting Algebras

scholarly journals Frontal Operators in Weak Heyting Algebras

Studia Logica ◽  
2012 ◽  
Vol 100 (1-2) ◽  
pp. 91-114 ◽  
Author(s):  
Sergio A. Celani ◽  
Hernán J. San Martín
Keyword(s):  
Heyting Algebras ◽  
Weak Heyting Algebras

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.

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

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.

Interpretations into Heyting algebras

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

Export Citation Format

Share Document