Semi-Heyting algebras term-equivalent to Gödel algebras

DOI10.1007/s11083-012-9266-0zbMath1294.06011OpenAlexW2002169743MaRDI QIDQ2376916

José Patricio Díaz Varela, Manuel Abad, Juan Manuel Cornejo

Publication date: 26 June 2013

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-012-9266-0

zbMATH Keywords

Heyting algebrasemi-Heyting algebralinear Heyting algebraterm-equivalent varieties

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items

Semi-Nelson algebras ⋮ Intuitionistic logic is a connexive logic ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ On congruences in weak implicative semi-lattices ⋮ The semi Heyting-Brouwer logic ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ A categorial equivalence for semi-Nelson algebras ⋮ On some semi-intuitionistic logics

Cites Work

• The variety generated by semi-Heyting chains
• Gödel algebras free over finite distributive lattices
• Equational classes of relative Stone algebras
• Free L-algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item