科研之友
微信
新浪微博
Facebook
分享链接
摘要
The rotation of the product t-norm provides the tool to show that Lukasiewicz 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.
