Kripke-style Semantics for UL
2
조회
0
다운로드
11
인용
0
참고문헌
키워드
초록
This paper deals with Kripke-style semantics for fuzzy logics. As an example we consider a Kripke-style semantics for the uninorm based fuzzy logic UL. For this, first, we introduce UL, define the corresponding algebraic structures UL-algebras, and give algebraic completeness results for it. We next introduce a Kripke-style semantics for UL, and connect it with algebraic semantics.
Abstract
This paper deals with Kripke-style semantics for fuzzy logics. As an example we consider a Kripke-style semantics for the uninorm based fuzzy logic UL. For this, first, we introduce UL, define the corresponding algebraic structures UL-algebras, and give algebraic completeness results for it. We next introduce a Kripke-style semantics for UL, and connect it with algebraic semantics.
참고문헌 (16)
- Cintula, P., "Distinguished algebraic semantics for t-norm based Fuzzy Logics", Annals of Pure and Applied Logic, 160, pp.53~81 (2009)
- Diaconescu, D., "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science, 13, pp.1550~1572 (2007)
- Dunn, J. M., "A Kripke-style semantics for R-Mingle using a binary accessibility relation", Studia Logica, 35, pp.163~172 (1976)
- Dunn, J. M., "Partiality and its Dual", Studia Logica, 66, pp.5~40 (2000)
- Gabbay, D., "Fuzzy Logics based on[0, 1)-continuous uninorms", Archive for MathematicalLogic, 46, pp.425~449 (2007)
- Metcalfe, G., "Uninorm Based Logics", Proceedings of EUROFUSE, Exit Press, pp.85~99 (2004)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Metcalfe, G., "Proof Theory for Fuzzy Logics" (2009), Springer
- Montagna, F, "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTLforall", Studia Logica, 71, pp.227~245 (2002)
- Montagna, F, "Kripke-stylesemantics for many-valued logics", Mathematical Logic Quaterly, 49, pp.629~641 (2003)
- Montagna, F, "Corrigendum to"Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly, 50, pp.104~107 (2004)
- Thomason, R. H., "A semantic study of constructive falsity", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 15, pp.247~257 (1969)
- Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)
- Yager, R. R., "Uninorm aggregation operators", Fuzzy Sets and Systems, 80, pp.111~120 (1996)
- Yang, E., "(Star-based)four-valued Kripke-style Semantics for some neighbors of E, R, T", Logique et Analyse, 207, pp.255~280 (2009)
- Yang, E., "(Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics", Logic Journal of the IGPL, 19 (2011)