Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 , pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 , pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 , pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 , pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular lattices. Notre Dame journal of formal logic, vol. 22 , pp. 163–182. - J. M. Jauch and C. Piron. What is “q [Book Review]

Journal of Symbolic Logic 48 (1):206-208 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273336

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,667

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

Simon Kochen and E. P. Specker. Logical structures arising in quantum theory. A reprint of XL 507. The logieo-algebraic approach to quantum mechanics, Volume I, Historicale evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 263–276. - Simon Kochen and E. P. Specker. The calculus of partial propositional functions. A reprint of XL 508. The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 277–292. - P.D. Finch. On the structure of quantum logic. The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. [REVIEW]R. I. G. Hughes - 1985 - Journal of Symbolic Logic 50 (2):558-566.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
M. F. Janowitz. Quantifiers and orthomodular lattices. Pacific journal of mathematics, vol. 13 , pp. 1241–1249. - M. F. Janowitz. Quantifier theory on quasi-orthomodular lattices. Illinois journal of mathematics, vol. 9 , pp. 660–676. [REVIEW]George Gratzer - 1967 - Journal of Symbolic Logic 32 (2):275.
Ashworth E. J.. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 , pp. 179–192.Ashworth E. J.. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 227–228. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 , pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 , pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 , pp. 644–651. [REVIEW]M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
Nute Donald. Topics in conditional logic. Philosophical studies series in philosophy, vol. 20. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, x + 164 pp. [REVIEW]Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.
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.

Analytics

Added to PP
2016-06-30

Downloads
63 (#368,385)

6 months
9 (#445,370)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

Quantum set theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.

Add more citations

References found in this work

No references found.

Add more references