Dual tableau for monoidal triangular norm logic MTL

Fuzzy Sets and Systems 162 (1):39–52 (2011)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Standard completeness theorem for ΠMTL.Rostislav Horĉík - 2005 - Archive for Mathematical Logic 44 (4):413-424.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.


Added to PP

1 (#1,913,683)

6 months
14 (#200,872)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ewa Orlowska
Institute of Telecommunications and Information Technology
Joanna Golinska-Pilarek
University of Warsaw

References found in this work

No references found.

Add more references