Proof theory of Nelson's paraconsistent logic: a uniform perspective
type: Item
instance of: scholarly article
title: Proof theory of Nelson's paraconsistent logic: a uniform perspective
zbMATH Open document ID: 1382.03048
author: Norihiro Kamide
author: Heinrich Wansing
published in: Theoretical Computer Science
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6014302
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: inconsistency-tolerant reasoning
zbMATH Keywords: Nelson's paraconsistent logic N4
zbMATH Keywords: sequent calculi
zbMATH Keywords: natural deduction systems
zbMATH Keywords: cut elimination
zbMATH Keywords: normalization
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.11.001
OpenAlex ID: W2054776590
cites work: Constructible falsity and inexact predicates
cites work: Q4085699
cites work: Q4297115
cites work: Logic programming and negation: A survey
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Paraconsistent declarative semantics for extended logic programs
cites work: A non-deterministic view on non-classical negations
cites work: Q3858244
cites work: Display logic
cites work: Paraconsistent logic programming
cites work: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
cites work: Limits for paraconsistent calculi
cites work: Subtractive logic
cites work: A remark on Gentzen's calculus of sequents
cites work: On the theory of inconsistent formal systems
cites work: Q4236380
cites work: Admissibility of structural rules for contraction-free systems of intuitionistic logic
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Partiality and its dual
cites work: Bilattices and the semantics of logic programming
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
cites work: Q2721200
cites work: Q3086939
cites work: The Logic of Contradiction
cites work: Intuitionistic logic with strong negation
cites work: A note on dual-intuitionistic logic
cites work: Natural deduction systems for Nelson's paraconsistent logic and its neighbors
cites work: Q5411482
cites work: Q3086526
cites work: Symmetric and dual paraconsistent logics
cites work: SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
cites work: Combining linear-time temporal logic with constructiveness and paraconsistency
cites work: A Paraconsistent Linear-time Temporal Logic
cites work: Q5677463
cites work: A deductive-reductive form of logic: Intuitionistic S4 modalities
cites work: Q3972527
cites work: Sequent calculus in natural deduction style
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Constructible falsity
cites work: Q4438105
cites work: Constructive negations and paraconsistency
cites work: Q4463936
cites work: Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
cites work: Sixty Years of Stable Models
cites work: Q5559220
cites work: Handbook of philosophical logic. Vol. 6
cites work: Characterizing Belnap's Logic via De Morgan's Laws
cites work: Propositional sequence-calculi for inconsistent systems
cites work: A formalization of the propositional calculus of H-B logic
cites work: Q3884093
cites work: Q3858239
cites work: Semantical analyses of propositional systems of Fitch and Nelson
cites work: Dual intuitionistic logic and a variety of negations: the logic of scientific research
cites work: The Trilattice of Constructive Truth Values
cites work: Some useful 16-valued logics: How a computer network should think
cites work: Hyper-contradictions, generalized truth values and logics of truth and falsehood

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: A natural deduction system for first degree entailment

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: A semantical study of constructible falsity

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Q4716271

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Dual-intuitionistic logic

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Q5813184

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Logic Programming with Strong Negation and Inexact Predicates

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: The logic of information structures

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Informational interpretation of substructural propositional logics

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Constructive negation, implication, and co-implication

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: Intuitionistic Trilattice Logics

Proof theory of Nelson's paraconsistent logic: a uniform perspective (cites work)
cites work: On logics with coimplication

Proof theory of Nelson's paraconsistent logic: a uniform perspective (DOI)
DOI: 10.1016/J.TCS.2011.11.001

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Nelson's paraconsistent logics
Similarity Score: 0.9360632
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Q5411482
Similarity Score: 0.9228809
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: The class of extensions of Nelson's paraconsistent logic
Similarity Score: 0.9170303
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Q5175691
Similarity Score: 0.90857553
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Natural deduction systems for Nelson's paraconsistent logic and its neighbors
Similarity Score: 0.90603095
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Q4982352
Similarity Score: 0.90453994
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Algebraic Semantics for Paraconsistent Nelson's Logic
Similarity Score: 0.90396357
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Q3558858
Similarity Score: 0.9020813
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Priestley duality for paraconsistent Nelson's logic
Similarity Score: 0.90190357
Recommender Run: Recommender Run 3

Proof theory of Nelson's paraconsistent logic: a uniform perspective (Recommended article)
Recommended article: Q5692275
Similarity Score: 0.9008947
Recommender Run: Recommender Run 3