Frontal operators in weak Heyting algebras

DOI10.1007/s11225-012-9390-2zbMath1272.06022OpenAlexW2111979092MaRDI QIDQ454367

Hernán J. San Martín, Sergio Arturo Celani

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://sedici.unlp.edu.ar/handle/10915/114720

zbMATH Keywords

Priestley dualityfrontal operatorsmodal operatorsweak Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25)

Related Items

Principal congruences in weak Heyting algebras, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Compatible operations on commutative weak residuated lattices

Cites Work

• On superintuitionistic logics as fragments of proof logic extensions
• Remarks on Priestley duality for distributive lattices
• A closer look at some subintuitionistic logics
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Varieties of complex algebras
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Logics Which Are Characterized by Subresiduated Lattices
• Basic Propositional Calculus I
• An algebraic approach to intuitionistic connectives
• Bounded distributive lattices with strict implication
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item