Representation by triples of algebras with an MV-retract

被引：11

作者：

Busaniche, Manuela ^{[1
]}

Andres Marcos, Miguel ^{[1
]}

Ugolini, Sara ^{[2
]}

机构：

[1] Consejo Nacl Invest Cient & Tecn, FIQ, Inst Matemat Aplicada Litoral, UNL, Santa Fe, Argentina

[2] Univ Pisa, Dept Comp Sci, Largo B Pontecorvo 3, I-56127 Pisa, Italy

来源：

FUZZY SETS AND SYSTEMS | 2019年 / 369卷

关键词：

Residuated lattices; Rotation; Categorical equivalence; LATTICES;

D O I：

10.1016/j.fss.2018.10.024

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce the notion of generalized rotation of a residuated lattice and characterize the varieties of bounded residuated lattices they generate, which we name MVRn. These algebras have a retraction onto a hyperarchimedean MV-algebra. Then we characterize algebras in MVRn as triples made of an MV-algebra, a residuated lattice with a nucleus, and an operator joining them. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：82 / 102

页数：21

共 24 条

[1] Varieties of BL-algebras I: general properties [J].

Agliano, P ;

Montagna, F .

JOURNAL OF PURE AND APPLIED ALGEBRA, 2003, 181 (2-3) :105-129

[2] Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops [J].

Aguzzoli, Stefano ;

Flaminio, Tommaso ;

Ugolini, Sara .

JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (08) :2525-2549

[3]

Burris S., 1981, GRADUATE TEXTS MATH

[4]

Busaniche M., 2004, THESIS

[5] Free nilpotent minimum algebras [J].

Busaniche, Manuela .

MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (03) :219-236

[6] A Categorical Equivalence for Stonean Residuated Lattices [J].

Busaniche, Manuela ;

Cignoli, Roberto ;

Andres Marcos, Miguel .

STUDIA LOGICA, 2019, 107 (02) :399-421

[7] Constructive Logic with Strong Negation as a Substructural Logic [J].

Busaniche, Manuela ;

Cignoli, Roberto .

JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (04) :761-793

[8] STONE LATTICES .I. CONSTRUCTION THEOREMS [J].

CHEN, CC ;

GRATZER, G .

CANADIAN JOURNAL OF MATHEMATICS, 1969, 21 (04) :884-&

[9] Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x2) = (2x)2 [J].

Cignoli R. ;

Torrens A. .

Studia Logica, 2006, 83 (1-3) :157-181

[10]

Cignoli R.L., 2013, Algebraic Foundations of Many-Valued Reasoning, V7

← 1 2 3 →