Title of article
A note on minimal axiomatisations of some extensions of MTL
Author/Authors
Aguzzoli، نويسنده , , Stefano and Ferraioli، نويسنده , , Anna Rita and Gerla، نويسنده , , Brunella، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2014
Pages
6
From page
148
To page
153
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
?ukasiewicz logic , MTL , Rotation of product t-norm , Minimal axiomatisation
Journal title
FUZZY SETS AND SYSTEMS
Serial Year
2014
Journal title
FUZZY SETS AND SYSTEMS
Record number
1601903
Link To Document