| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 391128 | Fuzzy Sets and Systems | 2007 | 6 Pages |
Abstract
It is well-known that Hájek's basic fuzzy logic (BL), Łukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's monoidal t-norm based logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that ΠMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Łukasiewicz, and product logic.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
