On the implicative-infimum subreducts of weak Heyting algebras
type: Item
instance of: scholarly article
title: On the implicative-infimum subreducts of weak Heyting algebras
author: Sergio A. Celani
author: Hernán J. San Martín
published in: Mathematical Logic Quarterly (MLQ)
publication date: 2024-08-19T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7898319
MaRDI profile type: Publication
cites work: Basic Propositional Calculus I
cites work: Q4083730
cites work: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
cites work: Modal logic
cites work: Q4436398
cites work: n‐linear weakly Heyting algebras
cites work: A categorical duality for semilattices and lattices
cites work: A closer look at some subintuitionistic logics
cites work: Bounded distributive lattices with strict implication
cites work: The variety of modal weak Gödel algebras
cites work: Monotone subintuitionistic logic: duality and transfer results
cites work: Logics Which Are Characterized by Subresiduated Lattices
cites work: Implicative Semi-Lattices
cites work: Principal congruences in weak Heyting algebras
cites work: On relative principal congruences in term quasivarieties
cites work: Semigroups with the congruence extension property
DOI: 10.1002/MALQ.202300021
description: scientific article; zbMATH DE number 7898319