• Title/Summary/Keyword: (Set-theoretic) Kripke-style semantics

Search Result 2, Processing Time 0.013 seconds

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

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.22 no.1
    • /
    • pp.25-42
    • /
    • 2019
  • This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.