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

Uninorm 논리 UL을 위한 새로운 표준 완전성 증명
A new proof of standard completeness for the uninorm logic UL

ㆍ 저자명: 양은석,Yang. Eun-Suk
ㆍ 간행물명: 논리연구= Korean journal of logic
ㆍ 권/호정보: 2010년|13권 1호|pp.1-20 (20 pages)
ㆍ 발행정보: 한국논리학회
ㆍ 파일정보: 정기간행물|
PDF텍스트
ㆍ 주제분야: 기타

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.

서지반출

기타언어초록

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [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].

키워드

(준구조)퍼지 논리 퍼지 논리 유니놈 논리 (substructural) fuzzy logic fuzzy logic uninorm (based) logic

다운URL