Abstract
The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
Dalla Chiara, M. L.: Quantum logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1986, pp. 427–469.
Dubois, D., Esteva, F., Garcia, P., Godo, L. and Prade, H.: Similarity-based consequence relations, in C. Froidevaux and J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Comput. Sci. 946, Springer, Berlin, 1995, pp. 171–179.
Fitting, M.: Many-valued modal logics, Fund. Inform. 15 (1991), 235–254.
Fitting, M.: Many-valued modal logics II, Fund. Inform. 17 (1992), 55–73.
Goldblatt, R. H.: Semantic analysis of orthologic, J. Philos. Logic 3 (1974), 19–35.
Hughes, G. E. and Cresswell, M. J.: A New Introduction to Modal Logic, Routledge, 1996.
Plaza, E., Esteva, F., Garcia, P., Godo, L. and Lopez de Mantaras, R.: A logical approach to case-based reasoning using fuzzy similarity relations, J. Inform. Sci. 106 (1998), 105–122.
Redei, M.: Quantum Logic in Algebraic Approach, Kluwer Academic Publishers, Dordrecht, 1998.
Rodriguez, R.: A modal account of similarity-based reasoning, Internat. J. Approx. Reason. 16 (1997), 235–260.
von Neumann, J., English translation by Beyer, R. T.: Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1996.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tokuo, K. Extended Quantum Logic. Journal of Philosophical Logic 32, 549–563 (2003). https://doi.org/10.1023/A:1025693128153
Issue Date:
DOI: https://doi.org/10.1023/A:1025693128153