Natural deduction for paraconsistent logic
From MaRDI portal
The authors define a hierachy of natural deduction systems \(\text{NDC}_n\), \(1\leq n\leq \omega\) and show that, for each \(n\), \(\text{NDC}_n\) is equivalent to the da Costa paraconsistent logic \(C_n.\) Most axioms are replaced by the obvious corresponding rules but reductio and excluded middle, interestingly, are replaced by rules distributing negation over disjunction and implication. A direct proof, involving simple valuations, of soundness and completeness is given for each \(\text{NDC}_n.\)
Recommendations
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- Analytical tableaux for da Costa's paraconsistent predicate calculi C_n^*
- Natural deduction systems for some non-commutative logics
- Paraconsistency and the C-systems of da Costa
Cited in
(23)- Natural deduction for non-classical logics
- Natural deduction for modal logic of judgment aggregation
- On argumentation logic and propositional logic
- Natural deduction in normal modal logic
- CHR: a constructive relevant natural-deduction logic
- Natural deduction based set theories: a new resolution of the old paradoxes
- A Compressing Translation from Propositional Resolution to Natural Deduction
- Natural deduction for the finite least fixed point logic with an infinitary rule
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- scientific article; zbMATH DE number 3902624 (Why is no real title available?)
- Constructive natural deduction and its ‘ω-set’ interpretation
- scientific article; zbMATH DE number 1735923 (Why is no real title available?)
- scientific article; zbMATH DE number 1778912 (Why is no real title available?)
- A natural deduction approach to dynamic logic
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural deduction as higher-order resolution
- scientific article; zbMATH DE number 871235 (Why is no real title available?)
- Analytical tableaux for da Costa's paraconsistent predicate calculi C_n^*
- Natural deduction in a paracomplete setting
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- scientific article; zbMATH DE number 7594098 (Why is no real title available?)
- Natural deduction and Curry's paradox
This page was built for publication: Natural deduction for paraconsistent logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2746598)
