Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2054776590
@@ Property / OpenAlex ID: W2054776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent declarative semantics for extended logic programs
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic programming
@@ Property / cites work: Paraconsistent logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive logic
@@ Property / cites work: Subtractive logic / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on Gentzen's calculus of sequents
@@ Property / cites work: A remark on Gentzen's calculus of sequents / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236380
@@ Property / cites work: Q4236380 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of structural rules for contraction-free systems of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086939
@@ Property / cites work: Q3086939 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Contradiction
@@ Property / cites work: The Logic of Contradiction / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+A note on dual-intuitionistic logic
@@ Property / cites work: A note on dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction systems for Nelson's paraconsistent logic and its neighbors
+Normal rank
@@ Property / cites work @@
+Q5411482
@@ Property / cites work: Q5411482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086526
@@ Property / cites work: Q3086526 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric and dual paraconsistent logics
@@ Property / cites work: Symmetric and dual paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
@@ Property / cites work: SEQUENT CALCULI FOR SOME TRILATTICE LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Combining linear-time temporal logic with constructiveness and paraconsistency
+Normal rank
@@ Property / cites work @@
+A Paraconsistent Linear-time Temporal Logic
@@ Property / cites work: A Paraconsistent Linear-time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677463
@@ Property / cites work: Q5677463 / rank @@
+Normal rank
@@ Property / cites work @@
+A deductive-reductive form of logic: Intuitionistic S4 modalities
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculus in natural deduction style
@@ Property / cites work: Sequent calculus in natural deduction style / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438105
@@ Property / cites work: Q4438105 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+Sixty Years of Stable Models
@@ Property / cites work: Sixty Years of Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Belnap's Logic via De Morgan's Laws
+Normal rank
@@ Property / cites work @@
+Propositional sequence-calculi for inconsistent systems
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analyses of propositional systems of Fitch and Nelson
+Normal rank
@@ Property / cites work @@
+Dual intuitionistic logic and a variety of negations: the logic of scientific research
+Normal rank
@@ Property / cites work @@
+The Trilattice of Constructive Truth Values
@@ Property / cites work: The Trilattice of Constructive Truth Values / rank @@
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+Hyper-contradictions, generalized truth values and logics of truth and falsehood
+Normal rank
@@ Property / cites work @@
+A natural deduction system for first degree entailment
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813184
@@ Property / cites work: Q5813184 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Strong Negation and Inexact Predicates
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Informational interpretation of substructural propositional logics
+Normal rank
@@ Property / cites work @@
+Constructive negation, implication, and co-implication
+Normal rank
@@ Property / cites work @@
+The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
+Normal rank
@@ Property / cites work @@
+Intuitionistic Trilattice Logics
@@ Property / cites work: Intuitionistic Trilattice Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank