Free-decomposability in varieties of semi-Heyting algebras

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

zbMATH Keywords

semi-Heyting algebrafree decomposabilityGlivenko theorem.

Mathematics Subject Classification ID

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