The variety of semi-Heyting algebras satisfying the equation (0 1)^* (0 1)^** 1

MaRDI QIDQ2888154zbMATH OpenFDO

Authors Manuel Abad, Juan Manuel Cornejo, Patricio Díaz Varela

Publication date 30 May 2012

Published in Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

subvarietiesvariety of semi-Heyting algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5510319
• Almost semi Heyting algebras
• On a semiring variety satisfying x^n x
• Complete Heyting algebra-valued convergence semigroups
• Characterization of almost semi-Heyting algebra
• Semi-Heyting algebras term-equivalent to Gödel algebras
• scientific article; zbMATH DE number 4019334
• scientific article; zbMATH DE number 1121834
• scientific article; zbMATH DE number 3902720
• scientific article; zbMATH DE number 2152037

Cited in

(10)

• On congruences in weak implicative semi-lattices
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Semi-Nelson algebras
• The variety generated by semi-Heyting chains
• scientific article; zbMATH DE number 2152037 (Why is no real title available?)
• Gentzen-style sequent calculus for semi-intuitionistic logic
• Semi-Heyting algebras and identities of associative type
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• \(\mathrm{I}\)-multipliers on semi-Heyting algebras
• Expansions of semi-Heyting algebras. I: Discriminator varieties

This page was built for publication: The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)

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