Natural deduction systems for Nelson's paraconsistent logic and its neighbors
From MaRDI portal
Publication:3647236
DOI10.3166/jancl.15.405-435zbMath1185.03047OpenAlexW2094396660WikidataQ126266015 ScholiaQ126266015MaRDI QIDQ3647236
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.15.405-435
normalizationnatural deductionstrong normalizationNelson's paraconsistent logicWansing's basic connexive logic
Related Items
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective
Cites Work
- Unnamed Item
- Unnamed Item
- Intuitionistic logic with strong negation
- On the strong normalisation of intuitionistic natural deduction with permutation-conversions
- On the representation of \(\mathbf{N4}\)-lattices
- Curry's paradox in contractionless constructive logic
- Constructible falsity and inexact predicates
- Sequent calculus in natural deduction style
- Displaying the modal logic of consistency
- Connexive implication
- A propositional logic with subjunctive conditionals
- Constructible falsity
- A natural deduction system for first degree entailment