Discriminator varieties of double-Heyting algebras

DOI10.4467/20842589RM.16.001.5278zbMath1392.06007OpenAlexW2556711136MaRDI QIDQ2971274

Christopher J. Taylor

Publication date: 4 April 2017

Full work available at URL: https://www.ejournals.eu/rml/2016/Number-51/art/7674/

zbMATH Keywords

discriminator varietysemisimpledual pseudocomplementdouble-Heyting algebraEDPCdually pseudocomplemented Heyting algebraHeyting algebra with dual pseudocomplement

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Subalgebras, congruence relations (08A30) Pseudocomplemented lattices (06D15) Varieties of lattices (06B20)

Related Items (5)

Expansions of dually pseudocomplemented Heyting algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ Uniform interpolation and coherence ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

This page was built for publication: Discriminator varieties of double-Heyting algebras