The variety generated by semi-Heyting chains

DOI10.1007/s00500-010-0604-0zbMath1260.06009OpenAlexW1982675993MaRDI QIDQ432182

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

Publication date: 3 July 2012

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-010-0604-0

zbMATH Keywords

varietyHeyting algebrasemi-Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20)

Related Items (11)

Semi-Heyting algebras term-equivalent to Gödel algebras ⋮ Semi-Nelson algebras ⋮ A note on chain‐based semi‐Heyting 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 ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Semi-intuitionistic logic ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ On some semi-intuitionistic logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The variety generated by semi-Heyting chains