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 条

[41] The Join of the Variety of MV-Algebras and the Variety of Orthomodular Lattices [J].

Jan Kühr ;

Ivan Chajda ;

Radomír Halaš .

International Journal of Theoretical Physics, 2015, 54 :4423-4429

[42] The Join of the Variety of MV-Algebras and the Variety of Orthomodular Lattices [J].

Kuehr, Jan ;

Chajda, Ivan ;

Halas, Radomir .

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2015, 54 (12) :4423-4429

[43] Rings and residuated lattices whose fuzzy ideals form a Boolean algebra [J].

S. V. Tchoffo Foka ;

Marcel Tonga .

Soft Computing, 2022, 26 :535-539

[44] Rings and residuated lattices whose fuzzy ideals form a Boolean algebra [J].

Foka, S. V. Tchoffo ;

Tonga, Marcel .

SOFT COMPUTING, 2022, 26 (02) :535-539

[45] Direct Product of l-Algebras and Unification: An Application to Residuated Lattices [J].

Dzik, Wojciech ;

Radeleczki, Sandor .

JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 28 (2-3) :189-215

[46] The finite embeddability property for residuated lattices, pocrims and BCK-algebras [J].

Blok, WJ ;

van Alten, CJ .

ALGEBRA UNIVERSALIS, 2002, 48 (03) :253-271

[47] On natural density, orthomodular lattices, measure algebras and non-distributive spaces [J].

Talponen, Jarno .

POSITIVITY, 2016, 20 (02) :399-412

[48] On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras [J].

Peter Jipsen .

Soft Computing, 2017, 21 :17-27

[49] n-Fold Heyting, Boolean and pseudo-MV filters in residuated lattices [J].

Rasouli S. ;

Zarin Z. .

Afrika Matematika, 2018, 29 (5-6) :911-928

[50] States on semi-divisible generalized residuated lattices reduce to states on MV-algebras [J].

Mertanen, Janne ;

Turunen, Esko .

FUZZY SETS AND SYSTEMS, 2008, 159 (22) :3051-3064

← 1 2 3 4 5 →