首页> 外文期刊>Journal of logic and computation >MTL-algebras as rotations of basic hoops
【24h】

MTL-algebras as rotations of basic hoops

机译:MTL代数作为基本箍的旋转

获取原文
获取原文并翻译 | 示例
           

摘要

In this paper, we use the generalize d rotation construction to lift results from the lattice of subvarieties of basic hoops to some parts of the lattice of subvarieties of monoidal t-norm based logic-algebras. In particular, we study splitting algebras for (the lattice of subvarieties of) varieties generated by generalized rotations of basic hoops and relevant subvarieties such as Wajsberg hoops, cancellative hoops and Godel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.
机译:在本文中,我们使用广义d旋转构造将结果从基本箍的子变量的格提升到基于单调t范数的逻辑代数的子变量的格的某些部分。特别是,我们研究了由基本箍和相关的子变量(如Wajsberg箍,可消除箍和Godel箍)的广义旋转生成的(子变量的)代数的分裂代数。最后,我们证明了广义旋转构造保留了合并特性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号