On the implicative-infimum subreducts of weak Heyting algebras

DOI10.1002/MALQ.202300021MaRDI QIDQ6589159zbMATH OpenFDO

Authors Sergio A. Celani, Hernán J. San Martín

Publication date 19 August 2024

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 2013229 (Why is no real title available?)
• n‐linear weakly Heyting algebras
• A categorical duality for semilattices and lattices
• A closer look at some subintuitionistic logics
• Basic Propositional Calculus I
• Bounded distributive lattices with strict implication
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Implicative Semi-Lattices
• Logics Which Are Characterized by Subresiduated Lattices
• Modal logic
• Monotone subintuitionistic logic: duality and transfer results
• On relative principal congruences in term quasivarieties
• Principal congruences in weak Heyting algebras
• Semigroups with the congruence extension property
• The variety of modal weak Gödel algebras

This page was built for publication: On the implicative-infimum subreducts of weak Heyting algebras

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