- 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
Orthomodular Logic
Mathematical Logic Quarterly 20 (25‐27):395-406 (1974)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
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.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
Sites and tours in orthoalgebras and orthomodular lattices.Richard J. Greechie - 1990 - Foundations of Physics 20 (7):915-923.
Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
Coreflections in Algebraic Quantum Logic.Bart Jacobs & Jorik Mandemaker - 2012 - Foundations of Physics 42 (7):932-958.
Hilbert lattices: New results and unsolved problems. [REVIEW]Herbert Gross - 1990 - Foundations of Physics 20 (5):529-559.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
Partial and unsharp quantum logics.M. L. Dalla Chiara & R. Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Reichenbach’s Common Cause in an Atomless and Complete Orthomodular Lattice.Yuichiro Kitajima - 2008 - International Journal of Theoretical Physics 47 (2):511-519.
Analytics
Added to PP
2013-11-24
Downloads
43 (#368,455)
6 months
1 (#1,464,097)
2013-11-24
Downloads
43 (#368,455)
6 months
1 (#1,464,097)
Historical graph of downloads
Citations of this work
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.
A general approach to non-distributive logics.Maria Luisa Dalla Chiara - 1976 - Studia Logica 35 (2):139-162.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
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.
References found in this work
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
About the equivalent theories of algebras with relations.Jerzy Kotas - 1972 - Studia Logica 30 (1):79 - 96.
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-cl5t5 uwo