- 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
Modal‐type orthomodular logic
Mathematical Logic Quarterly 55 (3):307-319 (2009)
Abstract
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
Review: M. F. Janowitz, Quantifiers and Orthomodular Lattices; M. F. Janowitz, Quantifier Theory on Quasi-Orthomodular Lattices. [REVIEW]George Gratzer - 1967 - Journal of Symbolic Logic 32 (2):275-275.
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
Hilbert lattices: New results and unsolved problems. [REVIEW]Herbert Gross - 1990 - Foundations of Physics 20 (5):529-559.
Sites and tours in orthoalgebras and orthomodular lattices.Richard J. Greechie - 1990 - Foundations of Physics 20 (7):915-923.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions.Jarosław Pykacz - 2000 - Notre Dame Journal of Formal Logic 41 (1):59-76.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
The representation of Takeuti's *20c ||_ -operator.Roger M. Cooke & Michiel Lambalgen - 1983 - Studia Logica 42 (4):407 - 415.
Automorphisms of orthomodular lattices and symmetries of quantum logics.Věra Trnková - 1991 - Foundations of Physics 21 (7):855-860.
Coreflections in Algebraic Quantum Logic.Bart Jacobs & Jorik Mandemaker - 2012 - Foundations of Physics 42 (7):932-958.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Orthomodular lattices as implication algebras.Robert Piziak - 1974 - Journal of Philosophical Logic 3 (4):413 - 418.
Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
Analytics
Added to PP
2013-12-01
Downloads
36 (#441,732)
6 months
7 (#421,763)
2013-12-01
Downloads
36 (#441,732)
6 months
7 (#421,763)
Historical graph of downloads
Author Profiles
Citations of this work
Interpreting the Modal Kochen–Specker theorem: Possibility and many worlds in quantum mechanics.Christian de Ronde, Hector Freytes & Graciela Domenech - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:11-18.
The Paraconsistent Approach to Quantum Superpositions Reloaded: Formalizing Contradictiory Powers in the Potential Realm.Newton C. A. da Costa & Christian de Ronde - unknown
Physical Properties as Modal Operators in the Topos Approach to Quantum Mechanics.Hector Freytes, Graciela Domenech & Christian de Ronde - 2014 - Foundations of Physics 44 (12):1357-1368.
References found in this work
The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Louis Osgood Kattsoff. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85.Garrett Birkhoff & John von Neumann - 1937 - Journal of Symbolic Logic 2 (1):44-44.
Quantum mechanics without the projection postulate and its realistic interpretation.D. Dieks - 1989 - Foundations of Physics 19 (11):1397-1423.
Quantum logic and physical modalities.M. L. Dalla Chiara - 1977 - Journal of Philosophical Logic 6 (1):391-404.
Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
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-64dd777598-g9b9l uwo