On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic

  • Yang, Eun-Suk (Faculty of Liberal Arts and Teacher Education University of Seoul)
  • Received : 2009.05.19
  • Accepted : 2009.08.19
  • Published : 2009.08.31

Abstract

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

이 논문에서는 멧칼페와 몬테그나([8])에 의해 소개된 uninorm logic UL에 (t-weakening, Wt) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$를 더해 얻어질 수 있는 공리적 확장 체계를 연구한다. 구체적으로 먼저 t-weakening uninorm logic ULWt (the UL with Wt)를 소개하고 이 체계에 상응하는 대수적 구조를 정의한 후 ULWt가 대수적으로 완전하다는 것을 증명한다. 다음으로 제네이와 몬테그나가 [3, 6]에서 보여준 표준 완전성 즉 실수 구간 [0, 1] 위에서의 완전성 증명을 사용하여, ULWt가 주어진 실구간 위에서 완전하다는 것을 즉 표준적으로 완전하다는 것을 증명한다.

Keywords