Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236): Difference between revisions

@@ Property / DOI @@
-.3166/jancl.15.405-435
@@ Property / DOI: 10.3166/jancl.15.405-435 / rank @@
-Normal rank
@@ Property / cites work @@
+Curry's paradox in contractionless constructive logic
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with subjunctive conditionals
+Normal rank
@@ Property / cites work @@
+On the strong normalisation of intuitionistic natural deduction with permutation-conversions
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Connexive implication
@@ Property / cites work: Connexive implication / 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 @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural deduction system for first degree entailment
+Normal rank
@@ Property / cites work @@
+Displaying the modal logic of consistency
@@ Property / cites work: Displaying the modal logic of consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126266015
@@ Property / Wikidata QID: Q126266015 / rank @@
+Normal rank
@@ Property / DOI @@
+.3166/JANCL.15.405-435
@@ Property / DOI: 10.3166/JANCL.15.405-435 / rank @@
+Normal rank