• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >On Weakly Cancellative Fuzzy Logics
【24h】

On Weakly Cancellative Fuzzy Logics

机译：关于弱相消模糊逻辑

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

摘要

Starting from a decomposition result of monoidal t-norm-based logic (MTL)-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. The weak cancellation property is proved to be the difference between cancellation and pseudocomplementation, so it gives a new axiomatization of product logic and ΠMTL. By adding this property, some new fuzzy logics (propositional and first-order) are defined and studied obtaining some results about their (finite) strong standard completeness and other logical and algebraic properties.
机译：从基于单调t范数的逻辑（MTL）链作为有序和的分解结果开始，我们将注意力集中在一种特殊的不可分解的半环上，即弱取消半环。证明了弱抵消性质是抵消和伪补码之间的差异，因此它给出了乘积逻辑和ΠMTL的新公理化。通过添加此属性，可以定义和研究一些新的模糊逻辑（命题和一阶逻辑），以获得有关其（有限）强标准完整性以及其他逻辑和代数性质的结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号