Registro:

Referencias:

• Birkhoff, G., von Neumann, J., The logic of quantum mechanics (1936) Ann. Math., 27, pp. 823-843
• Bruns, G., Harding, J., Algebraic aspects of orthomodular lattices (2000) Current Research in Operational Quantum Logic, pp. 37-65. , In: (B. Coecke, D. Moore, and A. Wilce, eds.) (Kluwer Academic Publishers)
• Burris, S., Sankappanavar, H.P., A Course in Universal Algebra (1981) Graduate Texts in Mathematics, , (Springer-Verlag)
• Dalla Chiara, M., Quantum logic and physical modalities (1977) J. Philosophical Logic., 6, pp. 391-404
• Dalla Chiara, M., Giuntini, R., Greechie, R., Reasoning in Quantum Theory (2004) Sharp and Unsharp Quantum Logics, , (Kluwer)
• Dieks, D., The formalism of quantum theory: an objective description of reality (1988) Ann. Physik., 7, pp. 174-190
• Dieks, D., Quantum mechanics without the projection postulate and its realistic interpretation (1989) Found. Phys., 19, pp. 1397-1423
• Dieks, D., Quantum mechanics: an intelligible description of objective reality? (2005) Found. Phys., 35, pp. 399-415
• Dishkant, H., Imbedding of the quantum logic in the modal systems of Brower (1977) J. Symbolic Logic., 42, pp. 321-328
• Domenech, G., Freytes, H., Contextual logic for quantum systems (2005) J. Math. Phys., 46, pp. 0121021-0121029. , http://arxiv.org/abs/quant-ph/0702023, Available at
• Domenech, G., Freytes, H., de Ronde, C., Scopes and limits of modality in quantum mechanics (2006) Ann. Physik., 15, pp. 853-860
• Domenech, G., Freytes, H., de Ronde, C., A topological study of contextuality and modality in quantum mechanics (2008) Int. J. Theor. Phys., 47, pp. 168-174
• Foulis, D.J., Baer *-semigroups (1960) Proc. Amer. Math. Soc., 11, pp. 648-654
• Goldblatt, R.I., Orthomodularity is not elementary (1984) J. Symbolic Logic., 49, pp. 401-404
• Hardegree, G., Material implication in orthomodular (and Boolean) lattices (1981) Notre Dame J. Formal Logic, 22, pp. 163-181
• Herman, L., Piziak, R., Modal propositional logic on an orthomodular basis I (1974) J. Symbolic Logic, 39, pp. 478-488
• Janowitz, M.F., Quantifiers and orthomodular lattices (1963) Pacific J. Math, 13, pp. 660-676
• Kalman, J.A., Lattices with involution (1958) Trans. Amer. Math. Soc., 87, pp. 485-491
• Kalmbach, G., (1983) Orthomodular Lattices, , (Academic Press)
• Kochen, S., Specker, E.P., The problem of hidden variables in quantum mechanics (1967) J. Math. Mech., 17, pp. 9-87
• Maeda, F., Maeda, S., (1970) Theory of Symmetric Lattices, , (Springer-Verlag)
• Miyazaki, Y., Kripke-style semantics of orthomodular logics (2001) Math. Log. Quart., 47, pp. 341-362
• Sofronie-Stokkermans, V., Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving (2003) Beyond Two: Theory and Applications of Multiple-Valued Logic, pp. 59-100. , In: (M. Fitting and E. Orlowska, eds.). Studies in Fuzziness and Soft Computing 114 (Springer-Verlag)
• van Fraassen, B.C., Semantic analysis of quantum logic (1973) Contemporary Research in the Foundations and Philosophy of Quantum Theory, pp. 80-113. , In: (C. A. Hooker, ed.) (Reidel)

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------