지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 서울대학교 철학사상연구소 철학사상 철학사상 제78호
- 발행연도
- 2020.11
- 수록면
- 111 - 126 (16page)
- DOI
- 10.15750/chss.78.202011.004
이용수
초록· 키워드
오류제보하기
이 글에서 우리는 누승적 퍼지 논리 IMTL을 위한 집합-이론적 루트리-마이어형 의미론이라고 불릴 의미론을 연구한다. 이를 위하여 먼저 누승적 퍼지 논리 체계 IMTL을 소개한다. 그리고 다음으로 루트리-마이어형 의미론을 소개한다. 마지막으로 집합-이론적 방법을 사용하여 이 체계가 건전하고 완전하다는 것을 보인다.
목차
Abstract
Ⅰ. Introduction
Ⅱ. The logic IMTL and Routley-Meyer-style semantics
Ⅲ. Soundness and completeness for IMTL
Ⅳ. Concluding remark
References
국문초록
참고문헌 (20)
참고문헌 신청
Ciabattoni, A. / 2002 / T-norm-based logics with n-contraction / Neural Network World 12:453~460
Cintula, P. / 2011 / A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1 / College publications :103~207
Diaconescu, D. / 2007 / On the forcing semantics for monoidal t-norm based logic / Journal of Universal Computer Science 13:1550~1572
Jenei, S / 2002 / A Proof of Standard completeness for Esteva and Godo’s Logic MTL / Studia Logica 70:183~192
Kripke, S. / 1963 / Semantic analysis of modal logic I : normal modal propositional calculi / Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9:67~96
Cintula, P. / 2011 / A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1 / College publications :103~207
Diaconescu, D. / 2007 / On the forcing semantics for monoidal t-norm based logic / Journal of Universal Computer Science 13:1550~1572
Jenei, S / 2002 / A Proof of Standard completeness for Esteva and Godo’s Logic MTL / Studia Logica 70:183~192
Kripke, S. / 1963 / Semantic analysis of modal logic I : normal modal propositional calculi / Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9:67~96
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
논리연구
2018 .01
-
Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL
논리연구
2020 .01
-
Routley-Meyer semantics for R
논리연구
2015 .01
-
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
-
Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics
논리연구
2019 .01
-
Fuzzy R Systems and Algebraic Routley-Meyer Semantics
논리연구
2022 .10
-
Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
논리연구
2023 .02
-
R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics
논리연구
2019 .01
-
Set-theoretical Kripke-style semantics for three-valued paraconsistent logic
논리연구
2015 .01
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
논리연구
2018 .01
-
Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
논리연구
2021 .01
-
한국어 의미 연구와 의미 이론
한글
2016 .09
-
Involutive Weak u-associative Fuzzy Logic WAuIBUL
철학사상
2024 .05
-
Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
논리연구
2015 .01
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
논리연구
2017 .01
-
Fixed-pointed Involutive Micanorm-based Logics
논리연구
2022 .06
-
Two axiomatic extensions of the involutive mianorm Logic IMIAL: IDIMIAL, FIDMIAL
철학사상
2018 .02
-
ItUML and Esteva-Godo-style standard completeness
철학사상
2023 .08
이 논문의 저자 정보
최근 본 자료
댓글(0)
0