On some compatible operations on Heyting algebras

DOI10.1007/S11225-011-9338-YMaRDI QIDQ763330zbMATH OpenOpenAlexFDO

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

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

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)

Recommendations

• scientific article; zbMATH DE number 5872208
• 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

Cites work

• scientific article; zbMATH DE number 5872208 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3217917 (Why is no real title available?)
• An algebraic approach to intuitionistic connectives
• Completeness in arithmetical algebras
• New solutions to Novikov's problem for intuitionistic connectives
• On frontal Heyting algebras
• On some new intuitionistic propositional connectives. I
• On the variety of Heyting algebras with successor generated by all finite chains
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic

Cited in

(11)

• 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
• On frontal Heyting algebras
• On the variety of Heyting algebras with successor generated by all finite chains
• 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)