首页> 外文期刊>Studia Logica >Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2
【24h】

Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2

机译:满足方程2(x2 )=(2x)2 的Glivenko MTL代数中的自由代数

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

摘要

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given (generalizing the results of [9]) in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. We include examples to show how we can apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras.
机译:本文的目的是描述具有布尔回缩性质的某些Glivenko MTL代数中的自由代数。根据Cantor空间上的布尔布尔乘积给出此描述(概括[9]的结果)。我们证明,在某些情况下,可以从自由核DL代数以有建设性的方式获得茎,这些自由核DL代数是满足标题中方程的直接不可分解的Glivenko MTL代数的最大根。我们提供了一些示例,以说明如何将结果应用于描述一些对合MTL代数和伪互补MTL代数的知名变体中的自由代数。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号