On some compatible operations on Heyting algebras
From MaRDI portal
Publication:763330
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
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