No Access

Discrete duality for De Morgan Algebras with operators

Verónica Gregori

Departamento de Matemática, Universidad Nacional de San Juan, 5400, San Juan, Argentina

https://doi.org/10.1142/S1793557119500104Cited by:4 (Source: Crossref)

Abstract

A discrete duality is a relationship between classes of algebras and classes of relational systems (frames). In this paper, discrete dualities are presented for De Morgan algebras with various kind of unary operators. To do this, we will extend the discrete duality given in [W. Dzik, E. Orłowska and C. van Alten, Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science, Vol. 4136 (Springer, Berlin, 2006), pp. 162–176], for De Morgan algebras.

Communicated by I. Chajda

Keywords:

AMSC: 06D30, 06D50

References

1. S. A. Celani and A. V. Figallo, De Morgan algebras with an additional operation, in Proc. Third “Dr. Antonio A. R. Monteiro” Congress on Mathematics (Spanish) (Universidad Nacional del Sur, Baha Blanca, 1996), pp. 35–43. Google Scholar
2. S. A. Celani, Classical modal De Morgan algebras, Studia Logica 98(1–2) (2011) 251–266. Crossref, Web of Science, Google Scholar
3. I. Chajda and J. Paseka, Algebraic Approach to Tense Operators, Research Exposition in Mathematics, Vol. 35 (Heldermann Verlag, Germany, 2015), pp. 204. Google Scholar
4. W. Dzik, E. Orłowska and C. van Alten, Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science, Vol. 4136 (Springer, Berlin, 2006), pp. 162–176. Crossref, Google Scholar
5. A. V. Figallo and G. Pelaitay, Tense operators on De Morgan algebras, Log. J. IGPL 22(2) (2014) 255–267. Crossref, Web of Science, Google Scholar
6. L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Parts I (North-Holland, Amsterdam, 1971). Google Scholar
7. L. Henkin, J. D. Monk and A. Tauski, Cylindric Algebras Part II (North-Holland, Amsterdam, 1985). Google Scholar
8. B. Jónsson and A. Tarski, Boolean algebras with operators I, Amer. J. Math. 73 (1951) 891–939. Crossref, Web of Science, Google Scholar
9. E. Orłowska and I. Rewitzky, Duality via Truth: Semantic frameworks for lattice-based logics, Log. J. IGPL. 13 (2005) 467–490. Crossref, Web of Science, Google Scholar
10. E. Orłowska and I. Rewitzky, Discrete duality and its applications to reasoning with incomplete information, in Rough Sets and Intelligent Systems Paradigms, eds. M. Kryszkiewicz et al., Lecture Notes in Artificial Intelligence, Vol. 4585 (Springer–Verlag, Heidelberg, 2007), pp. 51–56. Crossref, Google Scholar
11. G. Pelaitay, Discrete duality for $3$ $3$ -valued Łukasiewicz–Moisil algebras, Asian-Eur. J. Math. 10(1) (2017) (6). Link, Google Scholar
12. A. Petrovich, Monadic De Morgan algebras, in Models, Algebras, and Proofs, Lecture Notes in Pure and Applied Mathematics, Vol. 203 (Dekker, New York, 1999), pp. 315–333. Google Scholar
13. H. A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970) 186–190. Crossref, Google Scholar