Heyting Algebras with a Dual Lattice Endomorphism

DOI10.1002/malq.19870330610zbMath0633.06005OpenAlexW2106721686MaRDI QIDQ3770582

Hanamantagouda P. Sankappanavar

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330610

zbMATH Keywords

congruencessubvarietiesdiscriminator varietiesregular filterscongruence substitution propertyDe Morgan-Heyting algebrasOckham-Heyting algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

Free-decomposability in varieties of semi-Heyting algebras ⋮ Routley star and hyperintensionality ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ Varieties of pseudocomplemented Kleene 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 ⋮ Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility ⋮ Ockham algebras with pseudocomplementation ⋮ De Morgan Heyting algebras satisfying the identityx^n(′*)≈x^(n+1)(′*) ⋮ The variety of Boolean semirings ⋮ The lattices of kernel ideals in pseudocomplemented De Morgan algebras ⋮ Varieties of regular pseudocomplemented De Morgan algebras ⋮ On subvarieties of symmetric closure algebras ⋮ Some Operators in Kripke Models with an Involution ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Subalgebras of Heyting and De Morgan Heyting algebras ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ Symmetric Heyting relation algebras with applications to hypergraphs