Paraconsistency in classical logic

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

zbMATH Keywords

paraconsistencydecidabilityconsequence relationclassical logicunprovabilitycomplementary system

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

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