최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기논리연구= Korean journal of logic, v.17 no.1, 2014년, pp.181 - 196
이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.
This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic...
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.