Free-decomposability in varieties of semi-Heyting algebras
From MaRDI portal
Publication:2888630
DOI10.1002/malq.201020092zbMath1253.06012OpenAlexW1997890035MaRDI QIDQ2888630
Unnamed Author, Manuel Abad, Juan Manuel Cornejo
Publication date: 1 June 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201020092
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Free algebras (08B20)
Related Items
Semi-Nelson algebras ⋮ On congruences in weak implicative semi-lattices ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ Semi-Heyting Algebras and Identities of Associative Type
Cites Work
- Unnamed Item
- On the structure of varieties with equationally definable principal congruences. II
- Free-decomposability in varieties of pseudocomplemented residuated lattices
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Semi-intuitionistic logic
- Heyting Algebras with a Dual Lattice Endomorphism