• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >A note on minimal axiomatisations of some extensions of MTL
【24h】

A note on minimal axiomatisations of some extensions of MTL

机译：关于MTL某些扩展的最小公理化的注释

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：乘积t范数的旋转提供了一种工具，可以证明Lukasiewicz逻辑不能通过最多具有一个变量的任何一组公理来公理化为MTL的扩展。因此，也不能通过单变量公理将BL与MTL进行公理。

著录项

  • 来源
    《Fuzzy sets and systems》 |2014年第1期|148-153|共6页
  • 作者

    Stefano Aguzzoli; Anna Rita Ferraioli; Brunella Gerla;

  • 作者单位

    Dipartimento di Informatica, Universita degli Studi di Milano, via Comeliao 39/41, I-20135 Milano, Italy;

    Dipartimento di Scienze Teoriche e Applicate, Universita dell'Insubria, via Mazzini 5, I-21100 Varese, Italy;

    Dipartimento di Scienze Teoriche e Applicate, Universita dell'Insubria, via Mazzini 5, I-21100 Varese, Italy;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Lukasiewicz logic; MTL; Rotation of product t-norm; Minimal axiomatisation;

    机译：Lukasiewicz逻辑;MTL;产品t范数的旋转;最小公理化;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号