Affiliation:
1. Instituto de Ciencias Básicas Universidad Nacional de San Juan San Juan Argentina
Abstract
Abstract
In this paper, we define and study the variety of tense modal pseudocomplemented De Morgan algebras. This variety is a proper subvariety of the variety of tense tetravalent modal algebras. A tense modal pseudocomplemented De Morgan algebra is a modal pseudocomplemented De Morgan algebra endowed with two tense operators G and H satisfying additional conditions. Also, the variety of tense modal pseudocomplemented De Morgan algebras is intimately connected with some well-known varieties of De Morgan algebras with tense operators.
Reference40 articles.
1. Adams, M. E.—Sankappanavar, H. P.—Vaz de Carvalho, J.: Varieties of regular pseudocomplemented De Morgan algebras, Order 37(3) (2020), 529–557.
2. Balbes, R.—Dwinger, P.: Distributive Lattices, University of Missouri Press, Columbia, 1974.
3. Birkhoff, G.: Lattice Theory, 3rd ed., Amer. Math. Soc. Colloq. Publ., Vol. 25, Providence, 1967.
4. Burges, J.: Basic tense logic. In: Handbook of Philosophical Logic (D. M. Gabbay, F. Günter, eds.), Vol. II, Reidel, Dordrecht, 1984, pp. 89–139.
5. Burris, S.—Sankappanavar, H. P.: A Course in Universal Algebra, Grad. Texts in Math., Vol. 78, Springer, Berlin, 1981.