Effectible residuated lattices and \(n\)-th roots (Q983038)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5762244
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Effectible residuated lattices and \(n\)-th roots |
scientific article; zbMATH DE number 5762244 |
Statements
Effectible residuated lattices and \(n\)-th roots (English)
0 references
28 July 2010
0 references
The author introduces ``effectible residuated lattices'' and ``effectible Girard algebras'' as generalizations of various structures considered by Höhle and others, which, in turn, are generalizations of many structures arising as the algebras of many-valued logics as well as the order-theoretic counterparts of classes of bounded linear operators in Hilbert space. The present paper gives sufficient conditions for a Girard algebra to be an effect algebra. Similar conditions are given for residuated lattices to coincide with a suitable generalization of effect algebras.
0 references
residuated lattice
0 references
Girard algebra
0 references
MV-algebra
0 references
Höhle monoid
0 references
effect algebra
0 references
0 references
0.8259464502334595
0 references
0.8099160194396973
0 references
0.7950058579444885
0 references
0.7847175598144531
0 references
