An axiomatisation of quantum logic

Journal of Symbolic Logic 38 (3):389-392 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273030

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Quantum logic, realism, and value definiteness.Allen Stairs - 1983 - Philosophy of Science 50 (4):578-602.
Only If Quanta Had Logic.James H. McGrath - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:268 - 275.
Quantum Disjunctive Facts.James H. McGrath - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:76 - 86.
Quantum logic is alive ∧ (it is true ∨ it is false).Michael Dickson - 2001 - Proceedings of the Philosophy of Science Association 2001 (3):S274 - S287.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Is logic empirical?Guido Bacciagaluppi - unknown
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.

Analytics

Added to PP
2009-01-28

Downloads
144 (#299,681)

6 months
26 (#376,088)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Local Quantum Field Logic.Hector Freytes - forthcoming - Studia Logica:1-46.
Unified quantum logic.Mladen Pavičić - 1989 - Foundations of Physics 19 (8):999-1016.

Add more citations

References found in this work

Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.

Add more references