Heyting algebras with dual pseudocomplementation

DOI10.2140/pjm.1985.117.405zbMath0569.06010OpenAlexW2037270680MaRDI QIDQ1061157

Hanamantagouda P. Sankappanavar

Publication date: 1985

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1985.117.405

zbMATH Keywords

congruence latticessubdirectly irreduciblenormal filterCEP\(H_ +\)-algebrasdirectly indecomposabledouble Heyting algebrasdual pseudocomplementregular double p- algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10) Subalgebras, congruence relations (08A30) Pseudocomplemented lattices (06D15) Varieties of lattices (06B20)

Related Items (15)

A note on regular De Morgan semi-Heyting algebras ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ 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 ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Semi Heyting almost distributive lattices. ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ Splittings in varieties of logic ⋮ A categorial equivalence for semi-Nelson algebras ⋮ Subdirectly irreducible and free Kleene-Stone algebras ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

This page was built for publication: Heyting algebras with dual pseudocomplementation