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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Romane Clark and Paul Welsh. Introduction to logic. D. Van Nostrana Company, Inc., Princeton, N.J., Toronto, New York, London, 1962, xii + 268 pp. [REVIEW]Donald Paul Snyder - 1968 - Journal of Symbolic Logic 33 (3):479-480.
Axiomatisation d'un Système Partiel de la Théorie de la Déduction.H. Rasiowa - 1950 - Journal of Symbolic Logic 15 (2):139-139.
Maria Luisa Dalla Chiara. Quantum logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 427–469. [REVIEW]R. I. G. Hughes - 1992 - Journal of Symbolic Logic 57 (2):753-754.
Review: Ian Hacking, A Concise Introduction to Logic. [REVIEW]Alfons Borgers - 1973 - Journal of Symbolic Logic 38 (2):341-341.
Review: Ian Hacking, Logic of Statistical Inference. [REVIEW]Gordon Matthews - 1975 - Journal of Symbolic Logic 40 (2):250-250.
Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. [REVIEW]Alasdair Urquhart - 1990 - Journal of Symbolic Logic 55 (3):1309-1310.
Review: Ilmar Tammelo, Sketch for a Symbolic Juristic Logic; Romane L. Clark, On Mr. Tammelo's Conception of Juristic Logic. [REVIEW]Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (1):92-93.
Quantum logic as motivated by quantum computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353-359.
Quantum Logic as Motivated by Quantum Computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353 - 359.

Analytics

Added to PP
2009-01-28

Downloads
41 (#400,220)

6 months
17 (#161,514)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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