Properties of implication in effect algebras

DOI10.1515/MS-2021-0001MaRDI QIDQ2054647zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Helmut Länger

Publication date 3 December 2021

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.05315

zbMATH Keywords

effect algebramodus ponensdeductive systemimplicationstrict unsharp residuated poset

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is is equipped with a connective implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain "unsharp" residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

Recommendations

• scientific article; zbMATH DE number 7536560
• The logic induced by effect algebras
• Material implications in lattice effect algebras
• Fuzzy implications in lattice effect algebras
• How to introduce the connective implication in orthomodular posets

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• Effect algebras and unsharp quantum logics.
• Effect algebras are conditionally residuated structures
• Protoalgebraic logics
• Pseudoeffect algebras. I: Basic properties
• Relatively residuated lattices and posets
• Residuation in lattice effect algebras

Cited in

(5)

• Fuzzy implications in lattice effect algebras
• The logic induced by effect algebras
• Quantum implication algebras
• Material implications in lattice effect algebras
• Algebraic structures formalizing the logic of effect algebras incorporating time dimension

This page was built for publication: Properties of implication in effect algebras

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