Extending paraconsistent quantum logic: a single-antecedent/succedent system approach

Mathematical Logic Quarterly 64 (4-5):371-386 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201700012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
Cut-free single-succedent systems revisited.Norihiro Kamide - 2005 - Bulletin of the Section of Logic 34 (3):165-175.
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
The Paraconsistent Approach to Quantum Superpositions Reloaded: Formalizing Contradictiory Powers in the Potential Realm.Newton C. A. da Costa & Christian de Ronde - unknown
Towards Paraconsistent Inquiry.Can Baskent - 2016 - Australasian Journal of Logic 13 (2).
Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction.Jaykov Foukzon - manuscript
Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
The RM paraconsistent refutation system.Tomasz Skura - 2009 - Logic and Logical Philosophy 18 (1):65-70.

Analytics

Added to PP
2018-11-10

Downloads
12 (#1,058,801)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.

View all 8 references / Add more references