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 条

[31] Boolean filters and positive implicative filters of residuated lattices
Lianzhen, Liu
Kaltai, Li
[J]. INFORMATION SCIENCES, 2007, 177 (24) : 5725 - 5738
[32] Some properties of L-fuzzy approximation spaces based on bounded integral residuated lattices
Wang, Zhudeng
Wang, Yuan
Tang, Keming
[J]. INFORMATION SCIENCES, 2014, 278 : 110 - 126
[33] Free algebras in varieties of Stonean residuated lattices
Roberto Cignoli
[J]. Soft Computing, 2008, 12 : 315 - 320
[34] When implication algebras can be residuated lattices?
Samir, Basim
Merdach, Huda
[J]. AFRIKA MATEMATIKA, 2025, 36 (01)
[35] Implicational subreducts of n-potent commutative residuated lattices
C. J. van Alten
[J]. Algebra universalis, 2007, 57 : 47 - 62
[36] Generalized fuzzy filters in non-commutative residuated lattices
Bakhshi M.
[J]. Afrika Matematika, 2014, 25 (2) : 289 - 305
[37] Modal operators on bounded commutative residuated l-monoids
Rachunek, Jiri
Salounova, Dana
[J]. MATHEMATICA SLOVACA, 2007, 57 (04) : 321 - 332
[38] Heyting, Boolean and Pseudo-MV Filters in Residuated Lattices
Rasouli, Saeed
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2018, 31 (04) : 287 - 322
[39] When implication algebras can be residuated lattices?When implication algebras can be residuated lattices?B. Samir, H. Merdach
Basim Samir
Huda Merdach
[J]. Afrika Matematika, 2025, 36 (1)
[40] The Join of the Variety of MV-Algebras and the Variety of Orthomodular Lattices
Jan Kühr
Ivan Chajda
Radomír Halaš
[J]. International Journal of Theoretical Physics, 2015, 54 : 4423 - 4429

← 1 2 3 4 5 →