scientific article

zbMath1371.06009MaRDI QIDQ2834607

Hanamantagouda P. Sankappanavar

Publication date: 23 November 2016

Full work available at URL: http://www.cgasa.ir/./article_6799.html

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 Morgan semi-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

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