Varieties of pseudocomplemented Kleene algebras

DOI10.1002/MALQ.202000025MaRDI QIDQ6047673zbMATH OpenOpenAlexFDO

Authors Diego Castaño, Valeria Castaño, Patricio Díaz Varela, Marcela Muñoz Santis

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.09576

Mathematics Subject Classification ID

Pseudocomplemented lattices (06D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices of varieties (08B15)

Abstract: In this paper we study the subdirectly irreducible algebras in the variety $calPCDM$ of pseudocomplemented De Morgan algebras by means of their De Morgan $p$-spaces. We introduce the notion of $body$ of an algebra $$ and determine $$ when $$ is subdirectly irreducible. As a consequence of this, in the case of pseudocomplemented Kleene algebras, three special subvarieties arise naturally, for which we give explicit identities that characterize them. We also introduce a subvariety $calBPK$ of $calPCDM$, namely the variety of $bundle$ $pseudocomplemented$ $Kleene$ $algebras$, determine the whole subvariety lattice and find explicit equational bases for each of the subvarieties. In addition, we study the subvariety ${calBPK}_0$ of $calBPK$ generated by the simple members of $calBPK$, determine the structure of the free algebra over a finite set and their finite weakly projective algebras.

Recommendations

• Varieties of regular pseudocomplemented De Morgan algebras
• Lee classes and sentences for pseudo-complemented semilattices
• scientific article; zbMATH DE number 120346
• Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
• A note on pseudo-Kleene algebras

Cites work

• Algebras Whose Congruence Lattices are Distributive.
• Heyting Algebras with a Dual Lattice Endomorphism
• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3614837 (Why is no real title available?)
• scientific article; zbMATH DE number 651728 (Why is no real title available?)
• Locally finite varieties.
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Pseudocomplemented Okham and Demorgan Algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Subalgebras of Heyting and De Morgan Heyting algebras
• Subdirectly irreducible distributive double p-algebras
• Subdirectly irreducible pseudocomplemented De Morgan algebras
• Varieties of regular pseudocomplemented De Morgan algebras

Cited in

(8)

• Lee classes and sentences for pseudo-complemented semilattices
• Kleene algebra of partial predicates
• Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
• scientific article; zbMATH DE number 120346 (Why is no real title available?)
• scientific article; zbMATH DE number 1735935 (Why is no real title available?)
• A variety of algebras closely related to subordination algebras
• A completeness theorem for nondeterministic Kleene algebras
• A note on pseudo-Kleene algebras

This page was built for publication: Varieties of pseudocomplemented Kleene algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047673)