MTL의 표준 완전성

Standard Completeness for MTL

  • 양은석 (전북대학교 철학과, 기록관리학과)
  • Yang, Eunsuk (Department of Philosophy & Records Management, Chonbuk National University)
  • 투고 : 2013.04.28
  • 심사 : 2013.08.17
  • 발행 : 2013.10.30

초록

이 논문에서 우리는 다음의 두 가지를 보인다. 첫째로 양은석(2009)에서 소개된 체계 $UL_{wt}$를 위한 표준 완전성 증명에 문제가 있음을 보인다. 둘째로 이러한 증명은 대신 모노이드 t-규범 논리 MTL을 위한 새로운 표준 완전성 증명에 사용될 수 있음을 보인다.

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ 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 $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

키워드