- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Toward a formal language for unsharp properties
Foundations of Physics 19 (7):931-945 (1989)
Abstract
Some algebraic structures of the set of all effects are investigated and summarized in the notion of a(weak) orthoalgebra. It is shown that these structures can be embedded in a natural way in lattices, via the so-calledMacNeille completion. These structures serve as a model ofparaconsistent quantum logic, orthologic, andorthomodular quantum logicAuthor's Profile
My notes
Similar books and articles
Partial and unsharp quantum logics.M. L. Dalla Chiara & R. Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
Algebraic Structures Arising in Axiomatic Unsharp Quantum Physics.Gianpiero Cattaneo & Stanley Gudder - 1999 - Foundations of Physics 29 (10):1607-1637.
The Toffoli-Hadamard Gate System: an Algebraic Approach.Maria Luisa Dalla Chiara, Antonio Ledda, Giuseppe Sergioli & Roberto Giuntini - 2013 - Journal of Philosophical Logic 42 (3):467-481.
Some results on BZ structures from Hilbertian unsharp quantum physics.Gianpiero Cattaneo & Roberto Giuntini - 1995 - Foundations of Physics 25 (8):1147-1183.
Logic and Algebraic Structures in Quantum Computing.Jennifer Chubb, Ali Eskandarian & Valentina Harizanov (eds.) - 2014 - Cambridge, England: Cambridge University Press.
Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy.Michael Ashcroft - 2010 - Studia Logica 95 (1-2):183 - 206.
Residuated Structures and Orthomodular Lattices.D. Fazio, A. Ledda & F. Paoli - 2021 - Studia Logica 109 (6):1201-1239.
A semantical investigation on Brouwer-Zadeh logic.Roberto Giuntini - 1991 - Journal of Philosophical Logic 20 (4):411 - 433.
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - 2023 - Review of Symbolic Logic 16 (4):1177-1198.
Analytics
Added to PP
2013-11-22
Downloads
31 (#504,433)
6 months
7 (#592,005)
2013-11-22
Downloads
31 (#504,433)
6 months
7 (#592,005)
Historical graph of downloads
Author's Profile
Citations of this work
Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
On Finch’s Conditions for the Completion of Orthomodular Posets.D. Fazio, A. Ledda & F. Paoli - 2020 - Foundations of Science 28 (1):419-440.
The logic of orthomodular posets of finite height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.
Algebraic Properties of Paraorthomodular Posets.Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda & Jan Paseka - 2022 - Logic Journal of the IGPL 30 (5):840-869.
References found in this work
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo