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

DOI10.1007/S11083-012-9266-0MaRDI QIDQ2376916zbMATH OpenOpenAlexFDO

Authors Manuel Abad, Patricio Díaz Varela, 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

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

Recommendations

• scientific article; zbMATH DE number 5510319
• The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
• Semi-Heyting algebras and identities of associative type
• The variety generated by semi-Heyting chains
• Expansions of semi-Heyting algebras. I: Discriminator varieties

Cites work

• scientific article; zbMATH DE number 5510319 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3561405 (Why is no real title available?)
• Equational classes of relative Stone algebras
• Free L-algebras
• Gödel algebras free over finite distributive lattices
• The variety generated by semi-Heyting chains

Cited in

(17)

• scientific article; zbMATH DE number 2152037 (Why is no real title available?)
• Intuitionistic logic is a connexive logic
• A categorial equivalence for semi-Nelson algebras
• On some semi-intuitionistic logics
• Gödel algebras free over finite distributive lattices
• The subvariety of \(Q\)-Heyting algebras generated by chains
• The variety generated by semi-Heyting chains
• scientific article; zbMATH DE number 5510319 (Why is no real title available?)
• Semi-Nelson algebras
• A note on chain‐based semi‐Heyting algebras
• Free-decomposability in varieties of semi-Heyting algebras
• The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• The semi Heyting-Brouwer logic
• On congruences in weak implicative semi-lattices
• Semi-Heyting algebras and identities of associative type
• Gentzen-style sequent calculus for semi-intuitionistic logic

This page was built for publication: Semi-Heyting algebras term-equivalent to Gödel algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376916)