Nelson's paraconsistent logics

DOI10.12775/LLP.1999.009zbMATH Open1001.03027OpenAlexW2031025877MaRDI QIDQ3149172FDOQ3149172

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

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

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)

Cited In (21)

• Constructive predicate logic with strong negation and model theory
• Inference rules in Nelson's logics, admissibility and weak admissibility
• Title not available (Why is that?)
• Constructive discursive logic with strong negation
• Nelsonian counterparts of Visser's logics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Transfer theorems for extensions of the paraconsistent Nelson logic
• Paraconsistent modal logics
• Some properties for first-order Nelsonian paraconsistent quantum logic
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• A square of oppositions in intuitionistic logic with strong negation
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• 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)