当前位置:
X-MOL 学术
›
Math. Logic Q.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Varieties of pseudocomplemented Kleene algebras
Mathematical Logic Quarterly ( IF 0.3 ) Pub Date : 2021-04-01 , DOI: 10.1002/malq.202000025 Diego Castaño 1, 2 , Valeria Castaño 3 , José Patricio Díaz Varela 1, 2 , Marcela Muñoz Santis 3
Mathematical Logic Quarterly ( IF 0.3 ) Pub Date : 2021-04-01 , DOI: 10.1002/malq.202000025 Diego Castaño 1, 2 , Valeria Castaño 3 , José Patricio Díaz Varela 1, 2 , Marcela Muñoz Santis 3
Affiliation
In this paper we study the subdirectly irreducible algebras in the variety of pseudocomplemented De Morgan algebras by means of their De Morgan p-spaces. We introduce the notion of the body of an algebra and determine when is subdirectly irreducible. As a consequence of this, in the case of pseudocomplemented Kleene algebras, two special subvarieties arise naturally, for which we give explicit identities that characterise them. We also introduce a subvariety of , namely the variety of bundle pseudocomplemented Kleene algebras, fully describe its subvariety lattice and find explicit equational bases for each subvariety. In addition, we study the subvariety of generated by the simple members of , determine the structure of the free algebra over a finite set in this variety and their finite weakly projective algebras.
中文翻译:
拟补 Kleene 代数的种类
在本文中,我们研究了类中的次直接不可约代数 伪互补的德摩根代数通过他们的德摩根 p 空间。我们引入代数体的概念 并确定 什么时候 是次直接不可约的。因此,在赝补 Kleene 代数的情况下,两个特殊的子变体自然出现,为此我们给出了表征它们的明确恒等式。我们还引入了一个子变体 的 ,即束赝补克林代数的变体,充分描述其子变体格并为每个子变体找到明确的方程基。此外,我们研究了子变体 的 由简单的成员生成 ,确定自由代数在这个种类的有限集上的结构和它们的有限弱投影代数。
更新日期:2021-04-01
中文翻译:
拟补 Kleene 代数的种类
在本文中,我们研究了类中的次直接不可约代数 伪互补的德摩根代数通过他们的德摩根 p 空间。我们引入代数体的概念 并确定 什么时候 是次直接不可约的。因此,在赝补 Kleene 代数的情况下,两个特殊的子变体自然出现,为此我们给出了表征它们的明确恒等式。我们还引入了一个子变体 的 ,即束赝补克林代数的变体,充分描述其子变体格并为每个子变体找到明确的方程基。此外,我们研究了子变体 的 由简单的成员生成 ,确定自由代数在这个种类的有限集上的结构和它们的有限弱投影代数。