• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Order >Monadic Bounded Commutative Residuated e-monoids
【24h】

Monadic Bounded Commutative Residuated e-monoids

机译：单子有界可交换剩余e-monoid

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

摘要

Bounded commutative residuated e-monoids are a generalization of algebras of prepositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Lukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuition-istic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce and study monadic residuated e-monoids as a generalization of monadic MV-algebras.
机译：有界可交换剩余e-monoid是介词逻辑的代数的泛化，例如BL代数，即基本模糊逻辑的代数（因此是MV代数，即Lukasiewicz无限值逻辑的代数）和Heyting代数，直觉逻辑的代数。 Monadic MV代数是Lukasiewicz无限值逻辑谓词演算的代数模型，其中仅出现单个单个变量。我们介绍和研究单子残差的e-monoids，作为单子MV代数的推广。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号