Paraconsistency in classical logic
From MaRDI portal
Publication:2219139
DOI10.1007/s11229-017-1458-0zbMath1452.03077OpenAlexW2626125638MaRDI QIDQ2219139
Gabriele Pulcini, Achille C. Varzi
Publication date: 19 January 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-017-1458-0
Related Items (3)
Empirical likelihood based diagnostics for heteroscedasticity in semiparametric varying-coefficient partially linear models with missing responses ⋮ Complementary proof nets for classical logic ⋮ Towards a non-classical meta-theory for substructural approaches to paradox
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Ideal paraconsistent logics
- The method of axiomatic rejection for the intuitionistic propositional logic
- On decision procedures for sentential logics
- A formal system for the non-theorems of the propositional calculus
- The logic of paradox
- Refutation systems in modal logic
- The theory of rejected propositions. II
- On pairs of dual consequence operations
- A sound and complete proof theory for propositional logical contingencies
- A sequent calculus for a logic of contingencies
- Sentential calculus for logical falsehoods
- On the theory of inconsistent formal systems
- Propositional calculus for contradictory deductive systems
- Theory of rejected propositions. I
- A meta-logic of inference rules: Syntax
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- On The Imaginary Logic of N. A. VASILIEV
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
- A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain
- OUP accepted manuscript
- Logics of Formal Inconsistency
- Sur Le Schéma de la Séparation
- Sequent calculi for propositional nonmonotonic logics
This page was built for publication: Paraconsistency in classical logic