...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >Categorical approaches to non-commutative fuzzy logic
【24h】

Categorical approaches to non-commutative fuzzy logic

机译：非交换模糊逻辑的分类方法

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

摘要

In this paper we consider what it means for a logic to be non-commutative, how to generate examples of structures with a non-commutative operation ★ which have enough nice properties to serve as the truth values for a logic. Inference in the propositional logic is gotten from the categorical properties (products, coproducts, monoidal and closed structures, adjoint functors) of the categories of truth values. We then show how to extend this view of propositional logic to a predicate logic using categories of propositions about a type A with functors giving change of type and adjoints giving quantifiers. In the case where the semantics takes place in Set(L) (Goguen's category of L-fuzzy sets), the categories of predicates about A can be represented as internal category objects with the quantifiers as internal functors.
机译：在本文中，我们考虑了逻辑非可交换性的含义，如何生成具有非交换性操作的结构实例★具有足够好的属性以用作逻辑的真值。命题逻辑的推论是从真值类别的分类属性（产品，副产品，单曲面和封闭结构，伴随函子）中得出的。然后，我们展示如何使用关于A型命题的类别将命题逻辑的观点扩展到谓词逻辑，其中函子给出类型的改变，而伴随词给出量词。在语义发生在Set（L）（L-模糊集的Goguen类别）中的情况下，有关A的谓词类别可以表示为内部类别对象，而量词则作为内部函子。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号