Nelson's paraconsistent logics

DOI10.12775/LLP.1999.009MaRDI QIDQ3149172zbMATH OpenOpenAlexFDO

Authors Seiki Akama

Publication date 24 September 2002

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.1999.009

zbMATH Keywords

tableau calculiKripke modelsparaconsistent logicNelson's constructive logics with strong negation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Recommendations

• Constructive negations and paraconsistency
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Paraconsistent modal logics

Cited in

(21)

• Constructive predicate logic with strong negation and model theory
• Inference rules in Nelson's logics, admissibility and weak admissibility
• scientific article; zbMATH DE number 1241671 (Why is no real title available?)
• Constructive discursive logic with strong negation
• Nelsonian counterparts of Visser's logics
• scientific article; zbMATH DE number 910430 (Why is no real title available?)
• A note on Wansing's expansion of Nelson's logic. A correction to an axiomatization of Wansing's expansion of Nelson's logic
• Belnap constants and Nelson logic
• Algebraic Semantics for Paraconsistent Nelson's Logic
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• Transfer theorems for extensions of the paraconsistent Nelson logic
• Paraconsistent modal logics
• Some properties for first-order Nelsonian paraconsistent quantum logic
• A square of oppositions in intuitionistic logic with strong negation
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Why paraconsistent logics?
• An embedding-based completeness proof for Nelson's paraconsistent logic
• On the equivalence of paraconsistent and explosive versions of Nelson logic
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Nelson's paraconsistent logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149172)