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

compatible operationHeyting algebraintuitionistic logic

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

• An algebraic approach to intuitionistic connectives
• Completeness in arithmetical algebras
• 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?)
• 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 modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective

Cited in

(12)

• The theory of commuting subalgebras of complete Heyting algebras
• On congruences in weak implicative semi-lattices
• An operation related to the Cantor-Bendixson derivative
• Compatible operations on commutative weak residuated lattices
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication
• Principal congruences in weak Heyting algebras
• On frontal Heyting algebras
• On the variety of Heyting algebras with successor generated by all finite chains
• Frontal operators in weak Heyting algebras
• Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
• Heyting algebras and formal languages
• Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation

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)