On some compatible operations on Heyting algebras

DOI10.1007/S11225-011-9338-YzbMATH Open1253.03094OpenAlexW1995539525MaRDI QIDQ763330

Hernán J. San Martín, Rodolfo C. Ertola-Biraben

Publication date: 9 March 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-011-9338-y

zbMATH Keywords

Heyting algebraintuitionistic logiccompatible operation

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• On some new intuitionistic propositional connectives. I
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
• Completeness in arithmetical algebras
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• New solutions to Novikov's problem for intuitionistic connectives
• An algebraic approach to intuitionistic connectives
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

Related Items (5)

Principal congruences in weak Heyting algebras ⋮ Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ On congruences in weak implicative semi-lattices ⋮ Compatible operations on commutative weak residuated lattices

This page was built for publication: On some compatible operations on Heyting algebras