Expansions of dually pseudocomplemented Heyting algebras

DOI10.1007/s11225-017-9712-5zbMath1453.06009OpenAlexW2588857390MaRDI QIDQ1680519

Christopher J. Taylor

Publication date: 16 November 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9712-5

zbMATH Keywords

discriminator varietyHeyting algebrasemisimplenormal filterBoolean algebra with operatorsdual pseudocomplementdouble-Heyting algebraedpcHeyting algebra with operators

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Pseudocomplemented lattices (06D15)

Related Items

Splittings in varieties of logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• The Conrad program: from \(l\)-groups to algebras of logic.
• Heyting algebras with dual pseudocomplementation
• Varieties with equationally definable principal congruences
• On the structure of varieties with equationally definable principal congruences. IV
• On the structure of varieties with equationally definable principal congruences. III
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• On the structure of varieties with equationally definable principal congruences. I
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• Semisimple varieties of modal algebras
• Heyting Algebras with Operators
• Discriminator varieties of double-Heyting algebras
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• Algebraic polymodal logic: a survey