Research ArticleOpen AccessGoogle Scholar indexed
Epimorphisms between Finite 4-Valued Modal Algebras
Instituto de Ciencias Básicas, Universidad Nacional de San Juan, San Juan, Argentina
Facultad de Ingeniería, Universidad Nacional de San Juan, San Juan, Argentina
Instituto de Ciencias Básicas, Facultad de Filosofía, Universidad Nacional de San Juan, San Juan, Argentina
- 1 Instituto de Ciencias Básicas, Universidad Nacional de San Juan, San Juan, Argentina
- 2 Facultad de Ingeniería, Universidad Nacional de San Juan, San Juan, Argentina
- 3 Instituto de Ciencias Básicas, Facultad de Filosofía, Universidad Nacional de San Juan, San Juan, Argentina
Advances in Pure Mathematics·Volume 04 (2014)·Pages 222–227·Published 5 May 2014·DOI10.4236/apm.2014.45029
Copy link · social · email
Abstract
In this paper, we determine conditions for the existence of an epimorphism between two finite 4-valued modal algebras and state a method to obtain it. Furthermore, we obtain formulas which generalize those indicated by R. Sikorski for finite Boolean algebras [1] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100310038000000 , and by M. Abad and A. V. Figallo for finite 3-valued ukasiewicz algebras [2] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100320031000000 .
KeywordsFour Valued Modal AlgebrasTetravalent Modal AlgebrasDe Morgan AlgebraEpimorphismsAutomorphisms
- Sikorski, R. (1949) On the Inducing of Homomorphisms by Mappings. Fundamenta Mathematicae, 36, 7-22.
- Abad, M. and Figallo, A.V. (1992) On the Lukasiewicz homomorphisms. Instituto de Ciencias Basicas, UNSJ, 1-12.
- Loureiro, I. (1982) Axiomatisation et proprietes des algebres modales tetravalentes. C.R. Acad. Sc. Paris, t. 295, Serie I, 555-557.
- Loureiro, I. (1984) Finite Tetravalent Modal Algebras. Revista de la Union Matematica Argentina, 31, 187-191.
- Loureiro, I. (1983) Prime Spectrum of a Tetravalent Modal Algebras. Notre Dame Journal of Formal Logic, 24, 389-394. http://dx.doi.org/10.1305/ndjfl/1093870382
- Figallo, A.V. (1990) Notes on Generalized N-Lattices. Revista de la Union Matematica Argentina, 35, 61-65.
- Figallo, A.V. (1992) On the Congruence in Four-Valued Modal Algebras. Portugaliae Mathematica, 49, 249-261.
- Figallo, A.V. and Ziliani, A. (1991) Symmetric Tetra-Valued Modal Algebras. Notas de la Sociedad Matematica de Chile, 10, 133-141.
- Ziliani, A. (1995) On Axioms and Properties of Monadic Four-Valued Algebras. Actas del Tercer Congreso Dr. A.R.R. Monteiro, Instituto de Matematica, U. N. del Sur, Argentina, 69-78.
- Figallo A.V. and Landini, P. (1995) On Generalized I-Algebras and Modal 4-Valued Algebras. Reports on Mathematical Logic, 29, 3-18.
- Font, J.M. and Rius, M. (2000) An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic, 65, 481-518. http://dx.doi.org/10.2307/2586552
- Coniglio, M.E. and Figallo, M. (2013) Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Studia Logica, 102, 525-539. http://dx.doi.org/10.1007/s11225-013-9489-0
- Monteiro, A. (1960) Matrices de Morgan Caracteristiques Pour le Calcul Propositionnel Classique. Anais da Academia Brasileira de Ciências, 52, 1-7.