scientific article

zbMath1371.06008MaRDI QIDQ2834606

Hanamantagouda P. Sankappanavar

Publication date: 23 November 2016

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

zbMATH Keywords

equational basediscriminator varietysubdirect irreducibilityDe Morgan semi-Heyting algebradirectly indecomposabledually pseudocomplemented semi-Heyting algebraregular dually quasi-De Morgansemi-Heyting algebra of level 1strongly blended dually quasi-De Morgan Stone semi-Heyting algebra

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Subdirect products and subdirect irreducibility (08B26)

Related Items (3)

A note on regular De Morgan semi-Heyting algebras ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

This page was built for publication: