Expansions of dually pseudocomplemented Heyting algebras
type: Item
instance of: scholarly article
title: Expansions of dually pseudocomplemented Heyting algebras
zbMATH Open document ID: 1453.06009
author: Christopher J. Taylor
published in: Studia Logica
publication date: 2017-11-16T00:00:00Z
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06D15
zbMATH DE Number: 6807536
zbMATH Keywords: Heyting algebra
zbMATH Keywords: double-Heyting algebra
zbMATH Keywords: dual pseudocomplement
zbMATH Keywords: Boolean algebra with operators
zbMATH Keywords: Heyting algebra with operators
zbMATH Keywords: normal filter
zbMATH Keywords: discriminator variety
zbMATH Keywords: semisimple
zbMATH Keywords: edpc
MaRDI profile type: Publication
full work available at URL: s11225-017-9712-5
OpenAlex ID: W2588857390
cites work: Q4083730
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: On the structure of varieties with equationally definable principal congruences. III
cites work: On the structure of varieties with equationally definable principal congruences. IV
cites work: The Conrad program: from \(l\)-groups to algebras of logic.
cites work: Q3934450
cites work: Algebraic polymodal logic: a survey
cites work: Heyting algebras with operators
cites work: Q4273435
cites work: Varieties with equationally definable principal congruences
cites work: Semisimplicity, EDPC and discriminator varieties of residuated lattices
cites work: Heyting algebras with dual pseudocomplementation
cites work: Semisimple varieties of modal algebras
cites work: Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
cites work: Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
cites work: Discriminator varieties of double-Heyting algebras
cites work: Q4152589
DOI: 10.1007/S11225-017-9712-5
description: scientific article; zbMATH DE number 6807536