A characterization of adjunction in a many-valued modal system
DOI:
https://doi.org/10.21167/cqdv25e25005Keywords:
Galois connection, Many-valued logic, Modal logic, Algebraic logicAbstract
Galois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects.They are studied in the context of algebraic structures. As a logic topic, we take the four-valued logic PM4N
that contemplates, at least, two modal operators for the notions of necessary and possible. In this paper, we
develop a particular four-valued implication for PM4N, which constitutes a Galois pair with the two modal
operators. Then, we show some properties of the logic just considering the correlates algebraic developments.
Downloads
Published
2025-07-08
How to Cite
FEITOSA, H. de A.; FREITAS, R. A. de. A characterization of adjunction in a many-valued modal system. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 25, p. e25005, 2025. DOI: 10.21167/cqdv25e25005. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/489. Acesso em: 11 jul. 2025.
Issue
Section
Edição Especial ERMAC 2024
License
Copyright (c) 2025 C.Q.D. - Revista Eletrônica Paulista de Matemática

This work is licensed under a Creative Commons Attribution 4.0 International License.