The logic induced by effect algebras

DOI10.1007/S00500-020-05188-WMaRDI QIDQ2156555zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Chajda, Radomír Halaš, Helmut Länger

Publication date 18 July 2022

Published in Soft Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

algebraic semanticseffect algebraeffect implication algebrafinite effect algebraGentzen systemlattice effect algebralattice effect implication algebra

Mathematics Subject Classification ID

Quantum logic (03G12) Other algebras related to logic (03G25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras. For effect algebras which need not be lattice-ordered we introduce a certain kind of implication which is everywhere defined but whose result need not be a single element. Then we study effect implication algebras and prove the correspondence between these algebras and effect algebras satisfying the Ascending Chain Condition. We present an axiom system in Gentzen style also for not necessarily lattice-ordered effect algebras and prove that it is an algebraic semantics for the logic induced by finite effect algebras.

Recommendations

• The logic of lattice effect algebras based on induced groupoids
• Properties of implication in effect algebras
• Effect algebras and unsharp quantum logics.
• Logical connectives on lattice effect algebras
• scientific article; zbMATH DE number 5604207

Cites work

• Algebraizable logics
• An algebraic approach to non-classical logics
• Commutative basic algebras and non-associative fuzzy logics
• Effect algebras and unsharp quantum logics.
• Every effect algebra can be made into a total algebra
• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Logical connectives on lattice effect algebras
• Material implications in lattice effect algebras
• Quantum structure in cognition
• Residuation in modular lattices and posets
• Residuation in non-associative MV-algebras
• The propositional logic induced by means of basic algebras

Cited in

(8)

• Properties of implication in effect algebras
• Behavioural equivalence via modalities for algebraic effects
• Effect algebras are conditionally residuated structures
• (Modular) effect algebras are equivalent to (Frobenius) antispecial algebras
• The logic of lattice effect algebras based on induced groupoids
• scientific article; zbMATH DE number 5221470 (Why is no real title available?)
• Effect polymorphism in higher-order logic (proof pearl)
• Algebraic structures formalizing the logic of effect algebras incorporating time dimension

This page was built for publication: The logic induced by effect algebras

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