Effectible residuated lattices and n-th roots

DOI10.1016/J.FSS.2009.12.009MaRDI QIDQ983038zbMATH OpenOpenAlexFDO

Authors Remigijus Petras Gylys

Publication date 28 July 2010

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2009.12.009

zbMATH Keywords

effect algebraGirard algebraHöhle monoidMV-algebraresiduated lattice

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35)

Review text

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.

Recommendations

• Residuated lattices and lattice effect algebras
• Effect algebras are conditionally residuated structures
• Partial residuated structures and quantum structures
• scientific article; zbMATH DE number 7536560
• Lattice-ordered effect algebras and L-algebras

Cites work

• Algebraic foundations of many-valued reasoning
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• Divisible effect algebras
• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 1103100 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• scientific article; zbMATH DE number 2119443 (Why is no real title available?)
• scientific article; zbMATH DE number 764334 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• MV-ALGEBRA VALUED FILTER THEORY
• Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids

Cited in

(2)

• Extensions of states on MV-quantales
• scientific article; zbMATH DE number 7536560 (Why is no real title available?)

This page was built for publication: Effectible residuated lattices and \(n\)-th roots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q983038)