scientific article

zbMath1272.06020MaRDI QIDQ2888154

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

Publication date: 30 May 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

subvarietiesvariety of semi-Heyting algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20)

Related Items (6)

Semi-Nelson algebras ⋮ 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-Heyting Algebras and Identities of Associative Type

This page was built for publication: