The FEP for some varieties of fully distributive knotted residuated lattices

被引：0
|
作者：
Riquelmi Cardona
Nikolaos Galatos
机构：
[1] Escuela de Matemática,Department of Mathematics
[2] Universidad de El Salvador. Ciudad Universitaria,undefined
[3] University of Denver,undefined
来源：
Algebra universalis | 2017年 / 78卷
关键词：
Primary: 06F05; Secondary: 08B15; 03B47; 03G10; substructural logic; fully distributive knotted residuated lattice; decidability; finite embeddability property; well quasi order; better quasi order;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We prove the finite embeddability property for a wide range of varieties of fully distributive residuated lattices and FL-algebras. Part of the axiomatization is assumed to be a knotted inequality and some appropriate generalization of commutativity. The construction is based on distributive residuated frames and extends to subvarieties axiomatized by any division-free equation.
引用
收藏
页码：363 / 376
页数：13
相关论文
共 50 条
12345