Back to Search
Start Over
ALGEBRAIC STUDY OF SUBSTRUCTURAL FUZZY EPISTEMIC LOGICS.
- Source :
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Jun2024, Vol. 11 Issue 3, p259-278, 20p
- Publication Year :
- 2024
-
Abstract
- This paper generalizes the notion of monadic residuated lattices to that of pseudo monadic residuated lattices. As monadic residuated lattices serve as algebraic models of modal logic S5(FL<subscript>ew</subscript>), we propose pseudo monadic residuated lattices as algebraic models of modal system KD45(FL<subscript>ew</subscript>). The main contributions of this paper are as follows: 1) we discuss the relationship between pseudo monadic residuated lattices and other pseudo monadic algebraic structures, showing that it is a natural generalization of pseudo monadic BLalgebras, Bi-modal Gödel algebras and pseudo monadic algebras; 2) We provide a comprehensive characterization of pseudo monadic residuated lattices by considering them as pairs of residuated lattices (L,B), where B represents a special case of a relatively complete subalgebra of L known as c-relatively complete. Furthermore, we establish a necessary and sufficient condition for a subalgebra to be c-relatively complete. [ABSTRACT FROM AUTHOR]
- Subjects :
- RESIDUATED lattices
FUZZY logic
MODAL logic
EPISTEMIC logic
ALGEBRA
Subjects
Details
- Language :
- English
- ISSN :
- 26319810
- Volume :
- 11
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP)
- Publication Type :
- Academic Journal
- Accession number :
- 177940058