Premium
Congruence properties of pseudocomplemented De Morgan algebras
Author(s) -
Sankappanavar Hanamantagouda P.,
de Carvalho Júlia Vaz
Publication year - 2014
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201300038
Subject(s) - congruence (geometry) , congruence relation , mathematics , distributive property , pure mathematics , duality (order theory) , property (philosophy) , principal (computer security) , algebra over a field , epistemology , philosophy , computer science , geometry , operating system
In this paper we first describe the Priestley duality for pseudocomplemented De Morgan algebras by combining the known dualities of distributive p‐algebras due to Priestley and for De Morgan algebras due to Cornish and Fowler. We then use it to characterize congruence‐permutability, principal join property, and the property of having only principal congruences for pseudocomplemented De Morgan algebras. The congruence‐uniform pseudocomplemented De Morgan algebras are also described.