• Title of article

    Dual tableau for monoidal triangular norm logic MTL

  • Author/Authors

    Goli?ska-Pilarek، نويسنده , , Joanna and Or?owska، نويسنده , , Ewa، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2011
  • Pages
    14
  • From page
    39
  • To page
    52
  • Abstract
    Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.
  • Keywords
    Monoidal triangular norm logic , Fuzzy Logic , Dual tableau system , Relational logic
  • Journal title
    FUZZY SETS AND SYSTEMS
  • Serial Year
    2011
  • Journal title
    FUZZY SETS AND SYSTEMS
  • Record number

    1601236

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1601236