Abstract
Quantum logic has been studied with orthomodular lattices. The semantics required for quantum logic can also be provided by OM-models, whose nature is almost equivalent to the notion of orthomodular lattices. However, the development of OM-models is in its infancy, and important notions of orthomodular lattices such as OM laws, atomicity and covering laws cannot yet be fully described. Thus, in this paper, we develop OM-models in an attempt to solve these problems.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Baltag, A., Smets, S.: The dynamic turn in quantum logic. Synthese 186(3), 753–773 (2012)
Chiara, M.L.D., Giuntini, R.: Quantum logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 129–228. Springer, Heidelberg (2002). https://doi.org/10.1007/978-94-017-0460-1_2
Foulis, D.J., Randall, C.H.: Lexicographic orthogonality. J. Comb. Theory 11, 157–162 (1971)
Hardegree, G.M.: Material implication in orthomodular (and Boolean) lattices. Notre Dame J. Formal Logic 22(2), 163–182 (1981)
Hedlíková, J., Pulmannová, S.: Orthogonality spaces and atomistic orthocomplemented lattices. Czech. Math. J. 41(1), 8–23 (1991)
Nishimura, H.: Sequential method in quantum logic. J. Symbolic Logic 45(2), 339–352 (1980)
Nishimura, H.: Proof theory for minimal quantum logic I. Int. J. Theor. Phys. 33(1), 103–113 (1994)
Nishimura, H.: Proof theory for minimal quantum logic II. Int. J. Theor. Phys. 33(7), 1427–1443 (1994)
Zhong, S.: A formal state-property duality in quantum logic. Stud. Logic. 10(2), 112–133 (2017)
Acknowledgements
I would like to thank R. Kashima and the anonymous reviewers for helpful comments on earlier version of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
Kawano, T. (2018). Advanced Kripke Frame for Quantum Logic. In: Moss, L., de Queiroz, R., Martinez, M. (eds) Logic, Language, Information, and Computation. WoLLIC 2018. Lecture Notes in Computer Science(), vol 10944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-57669-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-662-57669-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-57668-7
Online ISBN: 978-3-662-57669-4
eBook Packages: Computer ScienceComputer Science (R0)