• Title/Summary/Keyword: (대수적) 루트리-마이어형 의미론

Search Result 1, 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.

  • PDF KSCI