Expansions of dually pseudocomplemented Heyting algebras
From MaRDI portal
Publication:1680519
DOI10.1007/s11225-017-9712-5zbMath1453.06009OpenAlexW2588857390MaRDI QIDQ1680519
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
discriminator varietyHeyting algebrasemisimplenormal filterBoolean algebra with operatorsdual pseudocomplementdouble-Heyting algebraedpcHeyting algebra with operators
Related Items
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