Commutative bounded integral residuated orthomodular lattices are Boolean algebras

被引：0
|
作者：
Tkadlec, Josef [1 ]
Turunen, Esko [2 ]
机构：
[1] Czech Tech Univ, Prague 16627, Czech Republic
[2] Tampere Univ Technol, FIN-33101 Tampere, Finland
来源：
SOFT COMPUTING | 2011年 / 15卷 / 04期
关键词：
Residuated lattice; Orthomodular lattice;
D O I：
10.1007/s00500-010-0572-4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of (Ward, Dilworth in Trans Am Math Soc 45, 336-354, 1939, Theorem 7.31); however, out proof is independent and uses other instruments.
引用
收藏
页码：635 / 636
页数：2
相关论文
共 50 条
  • [1] Commutative bounded integral residuated orthomodular lattices are Boolean algebras
    Josef Tkadlec
    Esko Turunen
    Soft Computing, 2010, 15 : 635 - 636
  • [2] Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
    Roberto Cignoli
    Antoni Torrens
    Studia Logica, 2012, 100 : 1107 - 1136
  • [3] Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
    Cignoli, Roberto
    Torrens, Antoni
    STUDIA LOGICA, 2012, 100 (06) : 1107 - 1136
  • [4] Projectivity in (bounded) commutative integral residuated lattices
    Agliano, Paolo
    Ugolini, Sara
    ALGEBRA UNIVERSALIS, 2023, 84 (01)
  • [5] n-Fold Boolean, Implicative and Integral Ideals on Bounded Commutative Residuated Lattices
    Yinga, Fabrice Tchoua
    Njionou, Blaise B. Koguep
    Alomo, Etienne R. Temgoua
    Lele, Celestin
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2019, 15 (03) : 427 - 445
  • [6] Commutative integral bounded residuated lattices with an added involution
    Cignoli, Roberto
    Esteva, Francesc
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (02) : 150 - 160
  • [7] Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
    Antoni Torrens
    Studia Logica, 2016, 104 : 849 - 867
  • [8] Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
    Torrens, Antoni
    STUDIA LOGICA, 2016, 104 (05) : 849 - 867
  • [9] States on bounded commutative residuated lattices
    Kondo, Michiro
    MATHEMATICA SLOVACA, 2014, 64 (05) : 1093 - 1104
  • [10] α-Ideals in Bounded Commutative Residuated Lattices
    Kakeu, Ariane G. Tallee
    Strungmann, Lutz
    Njionou, Blaise B. Koguep
    Lele, Celestin
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2023, 19 (03) : 611 - 630
12345