Abstract
Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, is introduced as Gentzen-type sequent calculi, and the cut-elimination theorems for these calculi are proved. This logic is shown to be decidable through the use of these calculi. A first-order extension of this logic is also shown to be decidable. The relationship between minimal quantum logic and paraconsistent four-valued logic is clarified, and a survey of existing Gentzen-type sequent calculi for these logics and their close relatives is addressed.
Similar content being viewed by others
References
Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49(1), 231–233.
Anderson, A.R., Belnap, N.D., & et al. (1975). Entailment: the logic of relevance and necessity, Vol. 1, Princeton University Press.
Aoyama, H. (2003). On a weak system of sequent calculus. Journal of Logical Philosophy, 3, 29–37.
Aoyama, H. (2004). LK, LJ, dual intuitionistic logic, and quantum logic. Notre Dame Journal of Formal Logic, 45(4), 193–213.
Belnap, N.D. (1977). Modern uses of multiple-valued logic. In Epstein, G., & Dunn, J.M. (Eds.), Useful four-valued logic, A (pp. 7–37). Dordrecht: Reidel.
Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823–843.
Cockett, J.R., & Seely, R.A.G. (2001). Finite sum-product logic. Theory and Applications of Categories, 8(5), 63–99.
Cutland, N.J., & Gibbins, P.F. (1982). A regular sequent calculus for quantum logic in which ∧ and ∨ are dual. Logique et Analyse, 99, 221–248.
Dalla Chiara, M.L., & Giuntini, R. (1989). Paraconsistent quantum logics. Foundations of Physics, 19(7), 891–904.
Dunn, J.M. (1976). Intuitive semantics for first-degree entailment and ‘coupled trees’. Philosophical Studies, 29(3), 149–168.
Dunn, J.M. (2000). Partiality and its dual. Studia Logica, 65, 5–40.
Faggian, C., & Sambin, G. (1998). From basic logic to quantum logics with cut-elimination. International Journal of Theoretical Physics, 37(1), 31–37.
Font, J.N. (1997). Belnap’s four-valued logic and de Morgan lattices. Logic Journal of the IGPL, 5(3), 413–440.
Goldblatt, R. (1974). Semantic analysis of orthologic. Journal of Philosophical Logic, 3(1-2), 19–35.
Kamide, N., & Wansing, H. (2015). Proof theory of N4-related paraconsistent logics, Studies in Logic 54. College Publications.
Mey, D. (1989). A predicate calculus with control of derivations, Proceedings of the 3rd Workshop on Computer Science Logic, Lecture Notes in Computer Science, 440, 254–266.
Mönting, J.S. (1981). Cut elimination and word problems for varieties of lattices. Algebra Universalis, 12, 290–321.
Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14, 16–26.
Nishimura, H. (1980). Sequential method in quantum logic. Journal of Symbolic Logic, 45, 339–352.
Nishimura, H. (1994). Proof theory for minimal quantum logic I. International Journal of Theoretical Physics, 33(1), 103–113.
Nishimura, H. (1994). Proof theory for minimal quantum logic II. International Journal of Theoretical Physics, 33(7), 1427–1443.
Pynko, A.P. (1995). Characterizing Belnap’s logic via de Morgan’s laws. Mathematical Logic Quarterly, 41, 442–454.
Restall, G., & Paoli, F. (2005). The geometry of nondistributive logics. Journal of Symbolic Logic, 70(4), 1108–1126.
Sambin, G., Battilotti, C., & Faggian, C. (2000). Basic logic: reflection, symmetry, visibility. Journal of Symbolic Logic, 65(3), 979–1013.
Takano, M. (1995). Proof theory for minimal quantum logic: a remark. International Journal of Theoretical Physics, 34(4), 649–654.
Tamura, S. (1988). A Gentzen formulation without the cut rule for ortholattices. Kobe Journal of Mathematics, 5, 133–15-.
Acknowledgments
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kamide, N. Proof Theory of Paraconsistent Quantum Logic. J Philos Logic 47, 301–324 (2018). https://doi.org/10.1007/s10992-017-9428-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-017-9428-z