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 条
  • [1] The FEP for some varieties of fully distributive knotted residuated lattices
    Cardona, Riquelmi
    Galatos, Nikolaos
    ALGEBRA UNIVERSALIS, 2017, 78 (03) : 363 - 376
  • [2] Unilinear residuated lattices: axiomatization, varieties and FEP
    Galatos, Nikolaos
    Zhuang, Xiao
    ALGEBRA UNIVERSALIS, 2024, 85 (03)
  • [3] Distributive residuated lattices
    Liviu-Constantin, Holdon
    Luisa-Maria, Nitu
    Gilena, Chiriac
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2012, 39 (01): : 100 - 109
  • [4] Word problem for knotted residuated lattices
    Horcik, Rostislav
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2015, 219 (05) : 1548 - 1563
  • [5] σ-Ideals in distributive pseudocomplemented residuated lattices
    Celani, Sergio A.
    SOFT COMPUTING, 2015, 19 (07) : 1773 - 1777
  • [6] Involutive Residuated Lattices Based on Modular and Distributive Lattices
    Olson, Jeffrey S.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2014, 31 (03): : 373 - 389
  • [7] Minimal varieties of residuated lattices
    Galatos, N
    ALGEBRA UNIVERSALIS, 2005, 52 (2-3) : 215 - 239
  • [8] Involutive Residuated Lattices Based on Modular and Distributive Lattices
    Jeffrey S. Olson
    Order, 2014, 31 : 373 - 389
  • [9] Minimal varieties of residuated lattices
    Nikolaos Galatos
    algebra universalis, 2005, 52 : 215 - 239
  • [10] On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices
    Wang, Jun Tao
    She, Yan Hong
    He, Peng Fei
    Ma, Na Na
    STUDIA LOGICA, 2023, 111 (03) : 361 - 390
12345