On some compatible operations on Heyting algebras

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

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

Recommendations

• scientific article
• On frontal Heyting algebras
• On the variety of Heyting algebras with successor generated by all finite chains
• scientific article; zbMATH DE number 860121
• Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

zbMATH Keywords

intuitionistic logicHeyting algebracompatible operation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Title not available (Why is that?)
• An algebraic approach to intuitionistic connectives
• Title not available (Why is that?)
• Completeness in arithmetical algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On some new intuitionistic propositional connectives. I
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
• New solutions to Novikov's problem for intuitionistic connectives
• Title not available (Why is that?)

Cited In (9)

• Principal congruences in weak Heyting algebras
• The theory of commuting subalgebras of complete Heyting algebras
• Frontal operators in weak Heyting algebras
• Heyting algebras and formal languages
• Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
• Compatible operations on commutative weak residuated lattices
• On congruences in weak implicative semi-lattices
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication
• Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763330)