Canonicity in subvarieties of BL-algebras

被引：0
|
作者：
Manuela Busaniche
Leonardo Manuel Cabrer
机构：
[1] CONICET-UNL,Instituto de Matemática Aplicada del Litoral
[2] Universidad Nacional del Centro, FIQ
[3] CONICET,Departamento de Matemática, Facultad de Ciencias Exactas
来源：
Algebra universalis | 2009年 / 62卷
关键词：
03G10; 06B23; 03G25; 08B15; BL-algebras; canonical extensions; posets; Wajsberg hoops;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We prove that every subvariety of BL-algebras which is not finitely generated is not σ-canonical. We also prove π-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated. To do so we study the behavior of canonical extensions of ordered sums of posets.
引用
收藏
页码：375 / 397
页数：22
相关论文
共 36 条
  • [31] Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
    Cortonesi, Tommaso
    Marchioni, Enrico
    Montagna, Franco
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2011, 52 (04) : 339 - 379
  • [32] On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
    Jipsen, Peter
    SOFT COMPUTING, 2017, 21 (01) : 17 - 27
  • [33] Monadic BL-algebras: The equivalent algebraic semantics of Hajek's monadic fuzzy logic
    Castano, Diego
    Cimadamore, Cecilia
    Diaz Varela, Jose Patricio
    Rueda, Laura
    FUZZY SETS AND SYSTEMS, 2017, 320 : 40 - 59
  • [34] Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
    Aguzzoli, Stefano
    Bianchi, Matteo
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2021), 2021, 13027 : 1 - 18
  • [35] Inflationary BL-algebras obtained from 2-dimensional general overlap functions
    Paiva, Rui
    Santiago, Regivan
    Bedregal, Benjamin
    Rivieccio, Umberto
    FUZZY SETS AND SYSTEMS, 2021, 418 : 64 - 83
  • [36] Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
    Aguzzoli, Stefano
    Bianchi, Matteo
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 1 - 16
1234