Properties of implication in effect algebras
-
Ivan Chajda
Abstract
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve 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 equipped with 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.
(Communicated by Mirko Navara)
Acknowledgement
The authors thank the anonymous referee for his/her valuable suggestions which improved the quality of the paper.
References
[1] Chajda, I.—Halaš, R.: Effect algebras are conditionally residuated structures, Soft Comput. 15 (2011), 1383–1387.10.1007/s00500-010-0677-9Search in Google Scholar
[2] Chajda, I.—Kühr, J.—Länger, H.: Relatively residuated lattices and posets, Math. Slovaca 70 (2020), 239–250.10.1515/ms-2017-0347Search in Google Scholar
[3] Chajda, I.—Länger, H.: Residuation in lattice effect algebras, Fuzzy Sets Systems 397 (2020), 168–178.10.1016/j.fss.2019.11.008Search in Google Scholar
[4] Chajda, I.—Länger, H.: Inexact residuation in effect algebras, J. Multiple-Valued Logic Soft Comput., to appear; http://arxiv.org/abs/1907.02738.Search in Google Scholar
[5] Czelakowski, J.: Protoalgebraic Logics, Kluwer, Dordrecht 2001.10.1007/978-94-017-2807-2Search in Google Scholar
[6] Dvurečenskij, A.—Pulmannová, S.: New Trends in Quantum Structures, Kluwer, Dordrecht 2000.10.1007/978-94-017-2422-7Search in Google Scholar
[7] Dvurečenskij, A.—Vetterlein, T.: Pseudoeffect algebras. I. Basic properties, Internat. J. Theoret. Phys. 40 (2001), 685–701.10.1023/A:1004192715509Search in Google Scholar
[8] Foulis, D. J.—Bennett, M. K.: Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1331–1352.10.1007/BF02283036Search in Google Scholar
© 2021 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- Properties of implication in effect algebras
- On a nonlinear relation for computing the overpartition function
- Six-cycle systems
- Representation of bifinite domains by BF-closure spaces
- L-fuzzy cosets in universal algebras
- Density of sets with missing differences and applications
- Degree of independence of numbers
- A generalization of a result on the sum of element orders of a finite group
- A New fuzzy McShane integrability
- Hankel determinants of second and third order for the class 𝓢 of univalent functions
- Herglotz's theorem for Jacobi-Dunkl positive definite sequences
- Functional inequalities for Gaussian hypergeometric function and generalized elliptic integral of the first kind
- Existence on solutions of a class of casual differential equations on a time scale
- On a general system of difference equations defined by homogeneous functions
- Jordan amenability of banach algebras
- A new notion of orthogonality involving area and length
- Reeb flow invariant ∗-Ricci operators on trans-Sasakian three-manifolds
- A finite graph is homeomorphic to the Reeb graph of a Morse–Bott function
- On first countable quasitopological homotopy groups
Articles in the same Issue
- Regular papers
- Properties of implication in effect algebras
- On a nonlinear relation for computing the overpartition function
- Six-cycle systems
- Representation of bifinite domains by BF-closure spaces
- L-fuzzy cosets in universal algebras
- Density of sets with missing differences and applications
- Degree of independence of numbers
- A generalization of a result on the sum of element orders of a finite group
- A New fuzzy McShane integrability
- Hankel determinants of second and third order for the class 𝓢 of univalent functions
- Herglotz's theorem for Jacobi-Dunkl positive definite sequences
- Functional inequalities for Gaussian hypergeometric function and generalized elliptic integral of the first kind
- Existence on solutions of a class of casual differential equations on a time scale
- On a general system of difference equations defined by homogeneous functions
- Jordan amenability of banach algebras
- A new notion of orthogonality involving area and length
- Reeb flow invariant ∗-Ricci operators on trans-Sasakian three-manifolds
- A finite graph is homeomorphic to the Reeb graph of a Morse–Bott function
- On first countable quasitopological homotopy groups
