Quantum logic in intuitionistic perspective

Studia Logica

Volumn 70, Issue 3, 2002, Pages 411-440

  Coecke, Bob ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Intuitionistic logic; Operational resolution; Orthocomplementation; Property lattice; Quantum logic; Superposition

Indexed keywords

EID: 18744384172     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1015106515413     Document Type: Review

References (28)

1. AERTS, D. (1982) 'Description of many separated physical entities without the paradoxes encountered in quantum mechanics', Foundations of Physics 12, 1131.
2. BANASCHEWSKI, B., and G. BRUNS (1967) 'Categorical characterization of MacNeille completion', Archiv der Mathematik 18, 369.
3. BIRKHOFF, G., and J. VON NEUMANN (1936) 'The Logic of quantum mechanics', Annals of Mathematics 37, 823.
4. BRUNS, G., and J. HARDING (2000) 'Algebraic aspects of orthomodular lattices', in: B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 37-66, Kluwer Academic Publishers.
5. BRUNS, G., and H. LAKSER (1970) 'Injective hulls of semilattices', Canadian Mathematical Bulletin 13, 115.
6. COECKE, B. (2000) 'Structural characterization of compoundness', International Journal of Theoretical Physics 39, 581; arXiv:quant-ph/0008054.
7. COECKE, B. (2002) 'Disjunctive quantum logic in dynamic perspective', Studia Logica (submitted); arXiv: math.LO/0011209.
8. COECKE, B., D.J. MOORE, and S. SMETS (2001a) 'From operationality to logicallity I. Philosophical and formal preliminaries', submitted.
9. COECKE, B., D.J. MOORE, and S. SMETS (2001b) 'From operationality to logicallity II. Syntax and semantics', submitted.
10. COECKE, B., D.J. MOORE, and S. SMETS (2001c) 'Adjoint implications in lattice logics', preprint.
11. COECKE, B., and I. STUBBE (1999a) 'On a duality of quantales emerging from an operational resolution', International Journal of Theoretical Physics 38, 3269.
12. COECKE, B., and I. STUBBE (1999b) 'Operational resolutions and state transitions in a categorical setting', Foundations of Physics Letters 12, 29; arXiv: quant-ph/0008020.
13. FOULIS, D.J. (1960) 'Baer *-semigroups', Proceedings of the American Mathematical Society 11, 648.
14. FOULIS, D. J., and C. H. RANDALL (1984) 'A note on misunderstandings of Piron's axioms for quantum mechanics', Foundations of Physics 14, 65.
15. GOLDBLATT, R. (1984) 'Orthomodularity is not elementary', Journal of Symbolic Logic 49, 401.
16. HARDEGREE, G. M. (1979) 'The conditional in abstract and concrete quantum logic', in: C. Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics II, pp. 49-108, Reidel Publishing Company.
17. HORN, A., and N. KIMURA (1971) 'The category of semilattices', Algebra Universalis 1, 26.
18. JAUCH, J. M., and C. PIRON (1969) 'On the structure of quantal proposition systems', Helvetica Physica Acta 42, 842.
19. JOHNSTONE, P. T. (1982) Stone Spaces, Cambridge University Press.
20. KALMBACH, G. (1983) Orthomodular Lattices, Academic Press.
21. MALINOWSKI, J. (1990) 'The deduction theorem for quantum logic. Some negative results', Journal of Symbolic Logic 55, 615.
22. MOORE, D. J. (1993) 'Quantum logic requires weak modularity', Helvetica Physica Acta 66, 471.
23. MOORE, D.J. (1999) 'On state spaces and property lattices', Studies in History and Philosophy of Modern Physics 30, 61.
24. PASEKA, J. (1994) 'Covers in generalized frames', in: I. Chajda (ed.), Proceedings of the International Conference and Summer School on General Algebra and Ordered Sets 1994, pp. 84-99, Palacký University Publishing, Olomouc.
25. PIRON, C. (1976) Foundations of Quantum Physics, W. A. Benjamin, Inc.
26. PTÁK, P., and S. PULMANNOVÁ (1991) Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers.
27. STUBBE, I. (2000) 'A categorical view on frame completions of meet-semilattices by means of distributive joins', privately communicated research notes.
28. VICKERS, S. (1989) Topology Via Logic, Cambridge University Press.