| Full text | |
| Author(s): |
Total Authors: 2
|
| Affiliation: | [1] Univ Nacl Sur, Dept Matemat, Buenos Aires, DF - Argentina
[2] Univ Estadual Campinas, Ctr Log Epistemol & Hist Ciencia, Campinas, SP - Brazil
[3] Univ Nacl San Juan, Inst Ciencias Basicas, San Juan - Argentina
Total Affiliations: 3
|
| Document type: | Journal article |
| Source: | STUDIA LOGICA; v. 107, n. 4, p. 591-611, AUG 2019. |
| Web of Science Citations: | 0 |
| Abstract | |
In our paper, monadic modal pseudocomplemented De Morgan algebras (or mmpM) are considered following Halmos' studies on monadic Boolean algebras. Hence, their topological representation theory (Halmos-Priestley's duality) is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for monadic De Morgan algebras. Finally, we show that the above results for mmpM are verified for monadic tetravalent modal algebras. (AU) | |
| FAPESP's process: | 16/21928-0 - Non-deterministic semantics for logics of formal inconsistency |
| Grantee: | Aldo Figallo Orellano |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |