A topological duality for tense modal pseudocomplemented De Morgan algebras

References

[1] Adams, M. E.—Sankappanavar, H. P.—Vaz de Carvalho, J.: Varieties of regular pseudocomplemented De Morgan algebras, Order 37(3) (2020), 529–557.10.1007/s11083-019-09518-ySearch in Google Scholar

[2] Balbes, R.—Dwinger, P.: Distributive Lattices, University of Missouri Press, Columbia, 1974.Search in Google Scholar

[3] Birkhoff, G.: Lattice Theory, 3rd ed., Amer. Math. Soc. Colloq. Publ., Vol. 25, Providence, 1967.Search in Google Scholar

[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.10.1007/978-94-009-6259-0_2Search in Google Scholar

[5] Burris, S.—Sankappanavar, H. P.: A Course in Universal Algebra, Grad. Texts in Math., Vol. 78, Springer, Berlin, 1981.10.1007/978-1-4613-8130-3Search in Google Scholar

[6] Celani, S.: A note on homomorphisms of tetravalent modal algebras, Bol. Soc. Parana. Mat. (2) 17(1–2) (1997), 65–70 (in Spanish).Search in Google Scholar

[7] Celani, S.: Classical modal De Morgan algebras, Studia Logica 98(1–2) (2011), 251–266.10.1007/s11225-011-9328-0Search in Google Scholar

[8] Chajda, I.—Halaš, R.—Kühr, J.: Semilattice Structures. Research and Exposition in Mathematics, Vol. 30, Heldermann, Lemgo, 2007.Search in Google Scholar

[9] Chajda, I.—Paseka, J.: De Morgan algebras with tense operators, J. Mult.-Valued Logic Soft Comput. 28(1) (2017), 29–45.Search in Google Scholar

[10] Chajda, I.—Paseka, J.: The Poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras, J. Mult.-Valued Logic Soft Comput. 31(3) (2018), 213–237.Search in Google Scholar

[11] Chirita, C.: Three-valued temporal logic, Annals of the Bucharest University LIV (2005), 75–90.Search in Google Scholar

[12] Coniglio, M.–Figallo, M.: Hilbert-style presentations of two logics associated to tetravalent modal algebras, Studia Logica 102(3) (2014), 525–539.10.1007/s11225-013-9489-0Search in Google Scholar

[13] Cornish, W.—Fowler, P.: Coproducts of De Morgan algebras, Bull. Aust. Math. Soc. 16 (1977), 1–13.10.1017/S0004972700022966Search in Google Scholar

[14] Diaconescu, D.—Georgescu, G.: Tense operators on MV-algebras and Łukasiewicz-Moisil algebras, Fund. Inform. 81(4) (2007), 379–408.Search in Google Scholar

[15] Figallo, A. V.—Landini, P.: Notes on 4-valued modal algebras, Preprints del Instituto de Ciencias Básicas, Universidad Nacional de San Juan 1 (1990), pp. 28–37.Search in Google Scholar

[16] Figallo, A. V.: Tópicos sobre álgebras modales 4-valuadas. In: Proceeding of the IX Simposio Latino–Americano de Lógica Matemática (Bahía Blanca, Argentina, 1992); Notas de Lógica Matemática 39 (1992), 145–157.Search in Google Scholar

[17] Figallo, A. V.—Oliva, N.—Zilliani, N.: Modal pseudocomplemented De Morgan algebras, Acta Univ. Palack. Olomuc. Fac. Rerum Natur. Math. 53(1) (2014), 65–79.Search in Google Scholar

[18] Figallo, A. V.—Pelaitay, G.: Tense operators on De Morgan algebras, Log. J. IGPL 22(2) (2014), 255–267.10.1093/jigpal/jzt024Search in Google Scholar

[19] Figallo, A. V.—Oliva, N.—Zilliani, N.: Free modal pseudocomplemented De Morgan algebras, Bull. Sect. Logic Univ. Lódz 47(2) (2018), 89–106.10.18778/0138-0680.47.2.02Search in Google Scholar

[20] Figallo, A. V.—Pelaitay, G.: Localization of tetravalent modal algebras, Asian-Eur. J. Math. 11(5) (2018), Art. ID 1850067.10.1142/S1793557118500675Search in Google Scholar

[21] Figallo, A. V.—Pascual, I.—Pelaitay, G.: A topological duality for tense LM_n-algebras and applications, Log. J. IGPL(4) 26 (2018), 339–380.10.1093/jigpal/jzx056Search in Google Scholar

[22] Figallo, M.: Cut-free sequent calculus and natural deduction for the tetravalent modal logic, Studia Logica 109(6) (2021), 1347–1373.10.1007/s11225-021-09944-3Search in Google Scholar

[23] Font, J. M.—Rius, M.: An abstract algebraic logic approach to tetravalent modal logics, J. Symbolic Logic 65(2) (2000), 481–518.10.2307/2586552Search in Google Scholar

[24] Glivenko, V.: Sur quelques points de la logique de M. Brouwer, Acad. Roy. Belg. Bull. Cl. Sci. 15 (1929), 183–188.Search in Google Scholar

[25] Gregori, V.: Discrete duality for De Morgan algebras with operators, Asian-Eur. J. Math. 12(1) (2019), Art. ID 1950010.10.1142/S1793557119500104Search in Google Scholar

[26] Luoreiro, I.: Finitely generated free tetravalent modal algebras, Discrete Math. 46(1) (1983), 41–48.10.1016/0012-365X(83)90268-6Search in Google Scholar

[27] Luoreiro, I.: Prime spectrum of a tetravalent modal algebra, Notre Dame J. Formal Logic 24(3) (1983), 389–394.10.1305/ndjfl/1093870382Search in Google Scholar

[28] Luoreiro, I.: Finite tetravalent modal algebras, Rev. Un. Mat. Argentina 31(4) (1984), 187–191.Search in Google Scholar

[29] Mac Lane, S.: Categories for the Working Mathematician, Springer–Verlag, Berlin, 1971.10.1007/978-1-4612-9839-7Search in Google Scholar

[30] Orellano, A. F.—Pascual, I.: On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras, Studia Logica 107(4) (2019), 591–611.10.1007/s11225-018-9802-zSearch in Google Scholar

[31] Pelaitay, G.: Un Estudio Algebraico de Operadores Temporales Definibles en Versiones Algebraicas de Diversas Lógicas, PhD. Thesis, Bahía Blanca, Argentina, 2015.Search in Google Scholar

[32] Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190.10.1112/blms/2.2.186Search in Google Scholar

[33] Priestley, H. A.: Ordered topological spaces and the representation of distributive lattices, P. London Math. Soc. 3, 24 (1972), 507–530.10.1112/plms/s3-24.3.507Search in Google Scholar

[34] Priestley, H. A.: Ordered sets and duality for distributive lattices, Ann. Discrete Math. 23 (1984), 39–60.10.1016/S0304-0208(08)73814-3Search in Google Scholar

[35] Romanowska, A.: Subdirectly irreducible pseudocomplemented De Morgan algebras, Algebra Universalis 12(1) (1981), 70–75.10.1007/BF02483864Search in Google Scholar

[36] Ribenboim, P.: Characterization of the sup-complement in a distributive lattice with last element, Summa Brasil. Math. 2(4) (1949), 43–49.Search in Google Scholar

[37] Sankappanavar, H.: Pseudocomplemented Okham and Demorgan algebras, Z. Math. Logik Grundlagen Math. 32 (1986), 385–394.10.1002/malq.19860322502Search in Google Scholar

[38] Sankappanavar, H.: Principal congruences of pseudocomplemented Demorgan algebras, Z. Math. Logik Grundlagen Math. 33 (1987), 3–11.10.1002/malq.19870330102Search in Google Scholar

[39] Segura, C.: Tense De Morgan S4-algebras, Asian-Eur. J. Math. 15(1) (2022), Art. ID 2250014.10.1142/S1793557122500140Search in Google Scholar