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 条
  • [31] Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
    Castano, D.
    Diaz Varela, J. P.
    Torrens, A.
    STUDIA LOGICA, 2011, 98 (1-2) : 223 - 235
  • [32] Some decompositions of filters in residuated lattices
    Piciu, Dana
    Dan, Christina Theresia
    Chirtes, Florentina
    ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2019, 27 (01): : 211 - 231
  • [33] Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
    Antoni Torrens
    Studia Logica, 2016, 104 : 849 - 867
  • [34] Some types of filters in residuated lattices
    Dumitru Buşneag
    Dana Piciu
    Soft Computing, 2014, 18 : 825 - 837
  • [35] A note on some filters in residuated lattices
    Xiao, Lei
    Liu, Lianzhen
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 30 (01) : 493 - 500
  • [36] Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
    Torrens, Antoni
    STUDIA LOGICA, 2016, 104 (05) : 849 - 867
  • [37] THE FAILURE OF THE AMALGAMATION PROPERTY FOR SEMILINEAR VARIETIES OF RESIDUATED LATTICES
    Gil-Ferez, Jose
    Ledda, Antonio
    Tsinakis, Constantine
    MATHEMATICA SLOVACA, 2015, 65 (04) : 817 - 828
  • [38] Some types of filters in residuated lattices
    Busneag, Dumitru
    Piciu, Dana
    SOFT COMPUTING, 2014, 18 (05) : 825 - 837
  • [39] Amalgamation through quantifier elimination for varieties of commutative residuated lattices
    Enrico Marchioni
    Archive for Mathematical Logic, 2012, 51 : 15 - 34
  • [40] On Some Categories of Involutive Centered Residuated Lattices
    J. L. Castiglioni
    M. Menni
    M. Sagastume
    Studia Logica, 2008, 90 (1) : 93 - 124
12345