논리연구 (Korean Journal of Logic)
- 제13권1호
- /
- Pages.1-20
- /
- 2010
- /
- 1598-7493(pISSN)
Uninorm 논리 UL을 위한 새로운 표준 완전성 증명
A new proof of standard completeness for the uninorm logic UL
- Yang, Eun-Suk (Faculty of Liberal Arts and Teacher Education University of Seoul)
- 투고 : 2009.11.15
- 심사 : 2010.02.19
- 발행 : 2010.02.28
초록
이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.
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].