Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
389280 | Fuzzy Sets and Systems | 2014 | 6 Pages |
Abstract
The rotation of the product t-norm provides the tool to show that Łukasiewicz logic cannot be axiomatised as an extension of MTL by means of any set of axioms with at most one variable. As a corollary, also BL cannot be axiomatised from MTL by means of single-variable axioms.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla,