Korean Journal of Logic (논리연구)

Korean Association for Logic (한국논리학회)
권호 표지

A new proof of standard completeness for the uninorm logic UL

Uninorm 논리 UL을 위한 새로운 표준 완전성 증명

  • Yang, Eun-Suk (Faculty of Liberal Arts and Teacher Education University of Seoul)
  • Received : 2009.11.15
  • Accepted : 2010.02.19
  • Published : 2010.02.28
Download PDF
⟨ Previous Next ⟩

Abstract

This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.

Keywords