Equational Bases for Joins of Residuated-lattice Varieties
Equational Bases for Joins of Residuated-lattice Varieties
复制标题
剩余格子簇连接的方程基
DOI：
10.1023/b:stud.0000032086.42963.7c
复制
发表时间：
2004
期刊：
影响因子：
0.7
通讯作者：
Nikolaos Galatos
中科院分区：
文献类型：
--
作者：
Nikolaos Galatos
在给定剩余格语言中的正普适公式的情况下，我们构造了簇的递归方程基，使得次直不可约剩余格恰好当它满足正普适公式时就在簇中。我们利用这种对应关系证明了交换剩余格的两个有限基变种的并也是有限基的。这意味着FL+上的两个有限公理化子结构逻辑的交集也是有限公理的。最后，我们给出了两个簇的并是它们的笛卡尔积的例子。
Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics overFL+is also finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product.
剩余格子的最小种类
DOI：
--
发表时间：
2005
期刊：
Algebra Universalis 52-2
影响因子：
--
作者：
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕;宮崎 裕;Y. Miyazaki;Y. Miyazaki;Nikolaos Galatos;Nikolaos Galatos
通讯作者：
Nikolaos Galatos