...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Studia Logica >Equality Algebras
【24h】

Equality Algebras

机译：平等代数

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

摘要

A new structure, called equality algebras, will be introduced. It has two connectives, a meet operation and an equivalence, and a constant. A closure operator will be defined in the class of equality algebras, and we call the closed algebras equivalential. We show that equivalential equality algebras are term equivalent with BCK-algebras with meet. As a by-product, we obtain a quite general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalential fragment of BCK-algebras with meet.
机译：将介绍一个称为等价代数的新结构。它有两个连接词，一个满足操作和一个等价关系，以及一个常数。闭包算子将在等价代数类中定义，我们称闭代数为等价的。我们证明等价相等代数与满足条件的BCK代数相等。作为副产品，我们获得了一个相当笼统的结果，类似于Kabziński和Wroński的结果：我们提供了满足条件的BCK代数的等价片段的方程式表征。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号