Abstract
Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.
Similar content being viewed by others
References
A. R. Anderson and N.D. Belnap, Jr.,Entailment: The Logic of Relevance and Necessity (Princeton University Press, Princeton, 1975).
A. Avron, “The semantics and proof theory of linear logic” (Edinburgh, 1987).
G. Birkhoff,Lattice Theory (American Mathematical Society, Prividence, 1966).
A. Cantini,Properties and Operations, revised and translated edition ofProprieta' e Operazioni (Bibliopolis, Napoli, 1983), in preparation.
G. Cattaneo, C. Garola, and G. Nistico', “Preparation-effect versus question-proposition structures,” to be published inInt. J. Theoret. Phys.
A. Church, “A formulation of the logic of sense and denotation,” inStructure, Method, and Meaning (The liberal Art Press, 1951).
N. Da Costa, “The philosophical import of paraconsistent logic,”J. Non-Class. Logics 1, 1–19 (1982).
M. L. Dalla Chiara, “Quantum logic,” inHandbook of Philosophical Logic, III, D. Gabbay and F. Guenthner, eds. (Reidel, Dordrecht, 1986).
M. L. Dalla Chiara, “An approach to intensional semantics,”Synthese 73, 479–496 (1987).
M. L. Dalla Chiara and G. Toraldo di Francia, “Individuals, kinds, and names in physics,”Versus 40, 29–50 (1985).
J. M. Dunn, “Relevance logic and entailment,” inHandbook of Philosophical Logic, III, D. Gabbay and F. Guenthner, eds. (Reidel, Dordrecht, 1986).
S. Feferman, “Intensionality in mathematics,”J. Philos. Logic. 14, 41–55 (1985).
K. Fine, “Some connections between elementary and modal logic,” inProceedings of the Third Scandinavian Logic Symposium, S. Kanger, ed. (North-Holland, Amsterdam, 1975).
J. Y. Girard, “Linear logic,”Theor. Comput. Sci. 50, 1–102 (1987).
R. Giuntini, “Brouwer-Zadeh logic and the operational approach to quantum mechanics,” preprint.
R. Giuntini, “Brouwer-Zadeh logic,” submitted toStud. Logica.
R. Giuntini and H. Greuling, “Toward a formal language for unsharp properties,Found. Phys. 19, 931 (1989).
R. Goldblatt, “Semantic analysis of orthologic,”Philos. Logic 3, 19–35 (1974).
K. Kraus,States, Effects, and Operations (Springer, Berlin, New York, 1983).
G. Ludwig,Foundations of Quantum Mechanics, I (Springer, Berlin, New York, 1983).
P. Mittelstaedt,Quantum Logic (Reidel, Dordrecht, 1978).
R. Routley and R. K. Meyer, “The semantics of entailment, I,” inTruth, Syntax, and Semantics, H. Leblanc, ed. (North-Holland, Amsterdam, 1973).
A. Tarski and J. Lukasiewicz, “Investigations into the sentential calculus,” inLogic, Semantics, Metamathematics (Oxford University Press, Oxford, 1956).
A. Urquhart, “Semantics for relevant logics,”J. Symb. Logic 37, 159–169 (1972).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chiara, M.L.D., Giuntini, R. Paraconsistent quantum logics. Found Phys 19, 891–904 (1989). https://doi.org/10.1007/BF01889304
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01889304