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 b...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 .展开更多
文摘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 .