Proof theory of Nelson's paraconsistent logic: a uniform perspective
From MaRDI portal
(Redirected from Publication:764309)
Recommendations
- Nelson's paraconsistent logics
- An embedding-based completeness proof for Nelson's paraconsistent logic
- The class of extensions of Nelson's paraconsistent logic
- scientific article; zbMATH DE number 6407640
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- On the equivalence of paraconsistent and explosive versions of Nelson logic
- Algebraic Semantics for Paraconsistent Nelson's Logic
- A uniform proof-theoretic foundation for abstract paraconsistent logic programming
- Priestley duality for paraconsistent Nelson's logic
- scientific article; zbMATH DE number 2209330
Cites work
- scientific article; zbMATH DE number 1612555 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3689368 (Why is no real title available?)
- scientific article; zbMATH DE number 15881 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1269580 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 2015276 (Why is no real title available?)
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3412605 (Why is no real title available?)
- scientific article; zbMATH DE number 3074070 (Why is no real title available?)
- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
- A Paraconsistent Linear-time Temporal Logic
- A deductive-reductive form of logic: Intuitionistic S4 modalities
- A formalization of the propositional calculus of H-B logic
- A natural deduction system for first degree entailment
- A non-deterministic view on non-classical negations
- A note on dual-intuitionistic logic
- A remark on Gentzen's calculus of sequents
- A semantical study of constructible falsity
- Admissibility of structural rules for contraction-free systems of intuitionistic logic
- An embedding-based completeness proof for Nelson's paraconsistent logic
- Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
- Belnap's Four-Valued Logic and De Morgan Lattices
- Bilattices and the semantics of logic programming
- Characterizing Belnap's Logic via De Morgan's Laws
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive negation, implication, and co-implication
- Constructive negations and paraconsistency
- Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
- Display logic
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Dual-intuitionistic logic
- Handbook of philosophical logic. Vol. 6
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Informational interpretation of substructural propositional logics
- Intuitionistic Trilattice Logics
- Intuitionistic logic with strong negation
- Intuitive semantics for first-degree entailments and `coupled trees'
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Limits for paraconsistent calculi
- Logic Programming with Strong Negation and Inexact Predicates
- Logic programming and negation: A survey
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- On logics with coimplication
- On the theory of inconsistent formal systems
- Paraconsistent declarative semantics for extended logic programs
- Paraconsistent logic programming
- Partiality and its dual
- Propositional sequence-calculi for inconsistent systems
- Reasoning with logical bilattices
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
- Semantical analyses of propositional systems of Fitch and Nelson
- Sequent calculus in natural deduction style
- Sixty Years of Stable Models
- Some useful 16-valued logics: How a computer network should think
- Structural proof theory. With an appendix by Aarne Ranta
- Subtractive logic
- Symmetric and dual paraconsistent logics
- The Logic of Contradiction
- The Trilattice of Constructive Truth Values
- The logic of information structures
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- The value of the four values
Cited in
(37)- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Paraconsistent double negation as a modal operator
- An invitation to new essays on Belnap-Dunn logic
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Negative modalities in the light of paraconsistency
- Prawitz, Proofs, and Meaning
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Inconsistency-tolerant temporal reasoning with hierarchical information
- On split negation, strong negation, information, falsification, and verification
- Nelson's paraconsistent logics
- Classical negation and expansions of Belnap-Dunn logic
- Paraconsistent logic, evidence, and justification
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Inconsistency-tolerant multi-agent calculus
- Algebraic Semantics for Paraconsistent Nelson's Logic
- scientific article; zbMATH DE number 910431 (Why is no real title available?)
- An infinity of intuitionistic connexive logics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- A note on synonymy in proof-theoretic semantics
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- Transfer theorems for extensions of the paraconsistent Nelson logic
- Logical multilateralism
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
- From paraconsistent logic to dialetheic logic
- Nelson algebras, residuated lattices and rough sets: A survey
- Conservative translations revisited
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- A uniform proof-theoretic foundation for abstract paraconsistent logic programming
- Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
- Falsification-aware semantics and sequent calculi for classical logic
- Embedding friendly first-order paradefinite and connexive logics
- An embedding-based completeness proof for Nelson's paraconsistent logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Proof theory of Nelson's paraconsistent logic: a uniform perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764309)
