| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 390256 | Fuzzy Sets and Systems | 2011 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
