• Title/Summary/Keyword: (Algebraic) Routley-Meyer-style semantics

Search Result 2, Processing Time 0.015 seconds

Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL (퍼지 논리 MTL을 위한 대수적 루트리-마이어형 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.21 no.3
    • /
    • pp.353-371
    • /
    • 2018
  • This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

Routley-Meyer semantics for R (R을 위한 루트리-마미어 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.18 no.3
    • /
    • pp.437-456
    • /
    • 2015
  • This paper deals with Routley-Meyer semantics for two versions of R of Relevance. For this, first, we introduce two systems $R^t$, $R^T$ and their corresponding algebraic semantics. We next consider Routley-Meyer semantics for these systems.

  • PDF