지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 서울대학교 철학사상연구소 철학사상 철학사상 제71호
- 발행연도
- 2019.2
- 수록면
- 121 - 137 (17page)
- DOI
- 10.15750/chss.71.201902.005
이용수
초록· 키워드
오류제보하기
이 논문에서 우리는 준구조 퍼지 논리 MTL 을 위한 집합 이론적 루트리-마이어형 의미론을 연구한다. 이를 위하여 먼저 모노이드 T-규범 논리 MTL 체계와 이에 상응하는 루트리-마이어형 의미론을 소개한다. 다음으로 이 체계가 집합 이론적으로 건전하고 완전하다는 것을 보인다.
목차
【Abstract】
Ⅰ. Introduction
Ⅱ. The logic MTL and Routley-Meyer-style semantics
Ⅲ. Soundness and completeness for MTL
Ⅳ. Concluding remark
References
국문요약
참고문헌 (21)
참고문헌 신청
Cintula, P. / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic 45:673~704
Cintula, P. / 2015 / Petr Hájek on Mathematical Fuzzy Logic / Springer :245~290
Cintula, P. / 2011 / 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
Hájek, P. / 1998 / Metamathematics of Fuzzy Logic / Kluwer
Cintula, P. / 2015 / Petr Hájek on Mathematical Fuzzy Logic / Springer :245~290
Cintula, P. / 2011 / 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
Hájek, P. / 1998 / Metamathematics of Fuzzy Logic / Kluwer
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2019-105-000507103