Constructing simple residuated lattices

被引:1
|
作者
Blok, WJ
Raftery, JG
机构
[1] Univ Illinois, Dept Math Stat & Comp Sci, Chicago, IL 60607 USA
[2] Univ KwaZulu Natal, Sch Math Sci, ZA-4041 Durban, South Africa
关键词
residuated lattice; cancellativity; total order;
D O I
10.1007/s00012-003-1837-x
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A method of constructing residuated lattices is presented. As an application, examples of simple, integral, cancellative, distributive residuated lattices are given that are not linearly ordered. This settles a problem raised in [5] and [2].
引用
收藏
页码:385 / 389
页数:5
相关论文
共 50 条
  • [21] Quasicomplemented residuated lattices
    Rasouli, Saeed
    SOFT COMPUTING, 2020, 24 (09) : 6591 - 6602
  • [22] IDEALS OF RESIDUATED LATTICES
    Holdon, Liviu-Constantin
    Saeid, Arsham Borumand
    STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, 2021, 58 (02) : 182 - 205
  • [23] On residuated skew lattices
    Saeid, Arsham Borumand
    Koohnavard, Roghayeh
    ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2019, 27 (01): : 245 - 268
  • [24] ARCHIMEDEAN RESIDUATED LATTICES
    Busneag, Dumitru
    Piciu, Dana
    Jeflea, Antoneta
    ANALELE STIINTIFICE ALE UNIVERSITATII AL I CUZA DIN IASI-SERIE NOUA-MATEMATICA, 2010, 56 (02): : 227 - 252
  • [25] Rickart residuated lattices
    Saeed Rasouli
    Soft Computing, 2021, 25 : 13823 - 13840
  • [26] Valuations on residuated lattices
    Busneag, Catalan
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2007, 34 : 21 - 28
  • [27] The structure of residuated lattices
    Blount, K
    Tsinakis, C
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (04) : 437 - 461
  • [28] Kites and residuated lattices
    Botur, Michal
    Dvurecenskij, Anatolij
    ALGEBRA UNIVERSALIS, 2018, 79 (04)
  • [29] Classes of residuated lattices
    Ciungu, Lavinia Corina
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2006, 33 : 189 - 207
  • [30] Ideals in Residuated Lattices
    Luo, Qing-Jun
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 407 - 414