Natural deduction systems for Nelson's paraconsistent logic and its neighbors

DOI10.3166/jancl.15.405-435zbMath1185.03047OpenAlexW2094396660WikidataQ126266015 ScholiaQ126266015MaRDI QIDQ3647236

Norihiro Kamide

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

zbMATH Keywords

normalizationnatural deductionstrong normalizationNelson's paraconsistent logicWansing's basic connexive logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

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