논문KCI 등재
MTL의 표준 완전성
Standard Completeness for MTL
0
조회
0
다운로드
5
인용
0
참고문헌
키워드
주제분류철학
초록
이 논문에서 우리는 다음의 두 가지를 보인다. 첫째로 양은석(2009)에서 소개된 체계 ULwt를 위한 표준 완전성 증명에 문제가 있음을 보인다. 둘째로 이러한 증명은 대신 모노이드 t-규범 논리 MTL을 위한 새로운 표준 완전성 증명에 사용될 수 있음을 보인다.
Abstract
This paper verifies the following two: First, I verify the standard completeness proof for the system ULwt is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for ULwt can be used for the system MTL. That is, I provide a new standard completeness proof for it.
참고문헌 (6)
- 양은석, "On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic", 논리연구, 12(2), pp.115~139 (2009), 한국논리학회
- Esteva, F., "Monoidal t-norm based logic: towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Jenei, S., "A proof of standard completeness for Esteva and Godo's logic MTL", Studia Logica, 70, pp.183~192 (2002)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Novak, V., "On the syntactico-semantical completeness of first-order fuzzy logic Ⅰ, Ⅱ", Kybernetika, 26, pp.47~66 (1990)
관련 논문AI추천
On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic양은석한국논리학회 · 논리연구2009 · 제12권 제2호MLt: 항등원 없는 단조 논리양은석한국논리학회 · 논리연구2025 · 제28권 제3호An Axiomatic Extension of the Uninorm Logic Revisited양은석한국논리학회 · 논리연구2014 · 제17권 제2호A new proof of standard completeness for the uninorm logic UL양은석한국논리학회 · 논리연구2010 · 제13권 제1호Micanorm-Based Logics with Fixed-Point양은석한국논리학회 · 논리연구2021 · 제24권 제3호Involutive extensions of fixpointed mianorm-based logics양은석한국논리학회 · 논리연구2021 · 제24권 제1호