On self‐distributive weak Heyting algebras
From MaRDI portal
Publication:6096729
DOI10.1002/malq.202200073OpenAlexW4385493048MaRDI QIDQ6096729
Shokoofeh Ghorbani, Unnamed Author, Arsham Borumand Saeid
Publication date: 15 September 2023
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.202200073
Cites Work
- Unnamed Item
- Fuzzy implications
- A propositional logic with explicit fixed points
- A closer look at some subintuitionistic logics
- On congruences in weak implicative semi-lattices
- Compatible operations on commutative weak residuated lattices
- Principal congruences in weak Heyting algebras
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- On Löb algebras
- Logics Which Are Characterized by Subresiduated Lattices
- Basic Propositional Calculus I
- On the linear Lindenbaum algebra of Basic Propositional Logic
- Counting weak Heyting algebras on finite distributive lattices
- Bounded distributive lattices with strict implication
- n‐linear weakly Heyting algebras
This page was built for publication: On self‐distributive weak Heyting algebras
