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