Implicational Partial Gaggle Logics and Matrix Semantics
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Implicational tonoid logics and their extensions with abstract Galois properties have been introduced by Yang and Dunn. They introduced matrix semantics for the implicational tonoid logics but did not do for the extensions. Here we provide such semantics for implicational partial gaggle logics as one sort of such extensions. To this end, first we discuss implicational partial gaggle logics in Hilbert-style. We next introduce one kind of matrix semantics based on Lindenbaum– Tarski matrices for the logics and show that those logics are complete with respect to the matrix semantics. Finally, we further introduce a slightly different kind of matrix semantics based on reduced models for the logics and show that those logics are complete with respect to this matrix semantics
Abstract
Implicational tonoid logics and their extensions with abstract Galois properties have been introduced by Yang and Dunn. They introduced matrix semantics for the implicational tonoid logics but did not do for the extensions. Here we provide such semantics for implicational partial gaggle logics as one sort of such extensions. To this end, first we discuss implicational partial gaggle logics in Hilbert-style. We next introduce one kind of matrix semantics based on Lindenbaum– Tarski matrices for the logics and show that those logics are complete with respect to the matrix semantics. Finally, we further introduce a slightly different kind of matrix semantics based on reduced models for the logics and show that those logics are complete with respect to this matrix semantics
참고문헌 (9)
- Bimbó, K., "Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi" (2018), CSLI Publications
- Cintula, P., "Weakly Implicative(Fuzzy)Logics I : Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
- Cintula, P., "Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
- Dunn, J. M., "Logics in AI (JELIA 1990, Amsterdam), Lecture Notes in AI", pp.31~51 (1990), Springer Verlag
- Dunn, J. M., "Partial gaggles applied to logics with restricted structural rules, Substructural Logics", pp.63~108 (1993)
- Dunn, J. M., "Algebraic Methods in Philosophical Logic" (2001), Oxford Univ Press
- Rasiowa, H., "An Algebraic Approach to Non-Classical Logics" (1974)
- Yang, E., "Implicational tonoid logics : algebraic and relational semantics", Logica Universalis, 15, pp.435~456 (2021)
- Yang, E., "Implicational Partial Galois Logics : Relational semantics", Logica Universalis, 15, pp.457~476 (2021)