On the implicative-infimum subreducts of weak Heyting algebras

DOI10.1002/MALQ.202300021MaRDI QIDQ6589159

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semigroups with the congruence extension property
• A closer look at some subintuitionistic logics
• A categorical duality for semilattices and lattices
• On relative principal congruences in term quasivarieties
• Monotone subintuitionistic logic: duality and transfer results
• Principal congruences in weak Heyting algebras
• Modal logic
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Logics Which Are Characterized by Subresiduated Lattices
• Basic Propositional Calculus I
• Bounded distributive lattices with strict implication
• Implicative Semi-Lattices
• n‐linear weakly Heyting algebras
• 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)