Principal congruences of tetravalent modal algebras

DOI10.1305/NDJFL/1093870762zbMath0566.03036OpenAlexW2064172125MaRDI QIDQ1059074

Isabel Loureiro

Publication date: 1985

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870762

zbMATH Keywords

discriminator varietyDe Morgan algebraprincipal congruencescongruence relationprincipal filterstetravalent modal algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30)

Related Items (4)

Localization of tetravalent modal algebras ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ Bounded lattice structured discriminator varieties ⋮ An abstract algebraic logic approach to tetravalent modal logics

This page was built for publication: Principal congruences of tetravalent modal algebras