• 제목/요약/키워드: (Set-theoretic) Kripke-style semantics

검색결과 2건 처리시간 0.015초

약한 결합 원리를 갖는 준구조 퍼지 논리를 위한 집합 이론적 크립키형 의미론 (Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics)

  • 양은석
    • 논리연구
    • /
    • 제22권1호
    • /
    • pp.25-42
    • /
    • 2019

  • 이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 준구조 퍼지 논리를 위한 집합 이론적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 세 준구조 퍼지 논리체계들을 상기한 후 이 체계들에 상응하는 크립키형 의미론을 소개한다. 다음으로 집합 이론적 방식을 이용하여 이 체계들이 완전하다는 것을 보인다.

  • PDF KSCI