논문KCI 등재
RMt, Pretabularity, and Kripke-Style Semantics
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
This paper investigates the pretabularity property of a fixpointed extension of the logic RMt (FRMt) using Kripke-style semantics. For this, the systems RMt, FRMt and their algebraic semantics are first discussed. Next Kripke-style semantics are established. for them. Finally, the pretabularity of FRMt is considered based on Kripke frames.
Abstract
This paper investigates the pretabularity property of a fixpointed extension of the logic RMt (FRMt) using Kripke-style semantics. For this, the systems RMt, FRMt and their algebraic semantics are first discussed. Next Kripke-style semantics are established. for them. Finally, the pretabularity of FRMt is considered based on Kripke frames.
참고문헌 (12)
- Dunn, J. M., "Algebraic completeness for R-mingle and its extensions", The Journal of Symbolic Logic, 35, pp.1~13 (1970)
- Esteva. F., "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Montagna, F., "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀", Studia Logica, 7, pp.227~245 (2002)
- Montagna, F., "Kripke-style semantics for many-valued logics", Mathematical Logic Quarterly, 49, pp.629~641 (2003)
- Sugihara, T., "Memoirs of the Faculty of Liberal Arts", pp.55~59 (1955), Fukui University
- 양은석, "Kripke-style Semantics for UL", 논리연구, 15(1), pp.1~15 (2012), 한국논리학회[DOI]
- Yang, E., "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp.803~826 (2014)
- 양은석, "Algebraic Kripke-style semantics for substructural fuzzy logics", 논리연구, 19(2), pp.295~322 (2016), 한국논리학회[DOI]
- Yang, E., "Fixpointed idempotent uninorm (based) logics", Mathematics, 7(1), pp.1~15 (2019)
- 양은석, "Involutive Idempotent Uninorm Logics and Pretabularity", 논리연구, 22(3), pp.397~415 (2019), 한국논리학회[DOI]
- Yang, E., "Nilpotent Minimum Logic NM and Pretabularity", Bulletin of the Section of Logic, 49, pp.1~11 (2020)
- Yang, E., "Algebraic relational semantics for basic substructural logics", Logique et Analyse, 252, pp.415~441 (2020)
관련 논문AI추천
R, fuzzy R, and Algebraic Kripke-style Semantics양은석한국논리학회 · 논리연구2012 · 제15권 제2호Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics양은석한국논리학회 · 논리연구2021 · 제24권 제2호Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic양은석한국논리학회 · 논리연구2014 · 제17권 제3호Involutive Idempotent Uninorm Logics and Pretabularity양은석한국논리학회 · 논리연구2019 · 제22권 제3호Kripke-style Semantics for UL양은석한국논리학회 · 논리연구2012 · 제15권 제1호Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics양은석한국논리학회 · 논리연구2018 · 제21권 제2호