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 条
  • [41] Amalgamation through quantifier elimination for varieties of commutative residuated lattices
    Marchioni, Enrico
    ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (1-2) : 15 - 34
  • [42] Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
    Bou, Felix
    Esteva, Francesc
    Font, Josep Maria
    Gil, Angel J.
    Godo, Lluis
    Torrens, Antoni
    Verdu, Ventura
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1031 - 1069
  • [43] Some classes of pseudo-residuated lattices
    Kadji A.
    Lele C.
    Tonga M.
    Afrika Matematika, 2016, 27 (7-8) : 1147 - 1178
  • [44] Some properties of ideals in stonean residuated lattices
    Faculty of Mathematics and Natural Sciences, Department of Mathematics, University of Craiova, 13, Al. I.Cuza st., Craiova
    200585, Romania
    J. Mult.-Valued Logic Soft Comput., 5-6 (529-546):
  • [45] Some Properties of Ideals in Stonean Residuated Lattices
    Busneag, Dumitru
    Piciu, Dana
    Holdon, Liviu
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2015, 24 (5-6) : 529 - 546
  • [46] Some Applications of Fuzzy Sets in Residuated Lattices
    Flaut, Cristina
    Piciu, Dana
    Bercea, Bianca Liana
    AXIOMS, 2024, 13 (04)
  • [47] Some weaker versions of topological residuated lattices
    Yang, Jiang
    Zhang, Xiongwei
    FUZZY SETS AND SYSTEMS, 2019, 373 : 62 - 77
  • [48] QUASI-VARIETIES OF PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES ARE VARIETIES - PRELIMINARY REPORT
    SHAFAAT, A
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (02): : 425 - &
  • [49] Varieties of distributive lattices with unary operations .1.
    Priestley, HA
    JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1997, 63 : 165 - 207
  • [50] VARIETIES WITH MODULAR AND DISTRIBUTIVE LATTICES OF SYMMETRICAL OR REFLEXIVE RELATIONS
    CHAJDA, I
    CZECHOSLOVAK MATHEMATICAL JOURNAL, 1992, 42 (04) : 623 - 630
12345