Residuated lattices and lattice effect algebras

被引:9
|
作者
Zhou, Xiang-Nan
Li, Qing-Guo [1 ]
Wang, Guo-Jun
机构
[1] Hunan Univ, Dept Appl Math, Changsha 410082, Peoples R China
[2] Shaanxi Normal Univ, Inst Math, Xian 710062, Peoples R China
[3] Xian Jiaotong Univ, Ctr Sci Res, Xian 710049, Peoples R China
基金
美国国家科学基金会;
关键词
lattice effect algebra; partial operation; residuated lattice; involutive residuated lattice;
D O I
10.1016/j.fss.2006.12.014
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Residuated lattices and lattice effect algebras arose in two rather different fields. In this paper, by introducing two partial operations in effect algebras, we investigate the mutual relationship between involutive residuated lattices and lattice effect algebras. We prove that a lattice effect algebra under certain conditions can be extended to an involutive residuated lattice and the latter with certain properties can be restricted to the former. Especially, an sufficient and necessary condition for an involutive residuated lattice to be a lattice effect algebra with the Riesz decomposition property is obtained. (c) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码:904 / 914
页数:11
相关论文
共 50 条
  • [21] Direct Product of l-Algebras and Unification: An Application to Residuated Lattices
    Dzik, Wojciech
    Radeleczki, Sandor
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 28 (2-3) : 189 - 215
  • [22] The finite embeddability property for residuated lattices, pocrims and BCK-algebras
    W. J. Blok
    C. J. Van Alten
    algebra universalis, 2002, 48 : 253 - 271
  • [23] The finite embeddability property for residuated lattices, pocrims and BCK-algebras
    Blok, WJ
    van Alten, CJ
    ALGEBRA UNIVERSALIS, 2002, 48 (03) : 253 - 271
  • [24] Residuated lattices
    Ward, M
    Dilwort, RP
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1938, 24 : 162 - 164
  • [25] Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
    Castano, Diego
    Diaz Varela, Jose Patricio
    Torrens, Antoni
    SOFT COMPUTING, 2011, 15 (07) : 1449 - 1455
  • [26] Effect algebras are conditionally residuated structures
    Chajda, Ivan
    Halas, Radomir
    SOFT COMPUTING, 2011, 15 (07) : 1383 - 1387
  • [27] On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
    Blok, WJ
    van Alten, CJ
    REPORTS ON MATHEMATICAL LOGIC, NO 34, 2000, (34): : 159 - 165
  • [28] Residuated lattices
    Ward, Morgan
    Dilworth, R. P.
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1939, 45 (1-3) : 335 - 354
  • [29] Triangle algebras: Towards an axiomatization of interval-valued residuated lattices
    Van Gasse, Bart
    Cornelis, Chris
    Deschrijver, Glad
    Kerre, Etienne
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2006, 4259 : 117 - +
  • [30] Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
    Diego Castaño
    José Patricio Díaz Varela
    Antoni Torrens
    Soft Computing, 2011, 15 : 1449 - 1455