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
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
Journal title :
FUZZY SETS AND SYSTEMS
