The revival of rejective negation (Q1582228): Difference between revisions

@@ Property / describes a project that uses @@
+PLINK
@@ Property / describes a project that uses: PLINK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, separation, and the meaning of logical operators
+Normal rank
@@ Property / cites work @@
+Semantic holism
@@ Property / cites work: Semantic holism / rank @@
+Normal rank
@@ Property / cites work @@
+On sequence-conclusion natural deduction systems
@@ Property / cites work: On sequence-conclusion natural deduction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839916
@@ Property / cites work: Q5839916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Classical Connective?
@@ Property / cites work: What is a Classical Connective? / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Should knowledge entail belief?
@@ Property / cites work: Should knowledge entail belief? / rank @@
+Normal rank
@@ Property / cites work @@
+TWO-DIMENSIONAL PROBLEMS OF THE DECAY OF MAGNETIC FIELDS IN MAGNETOHYDRODYNAMICS
+Normal rank
@@ Property / cites work @@
+Q5549024
@@ Property / cites work: Q5549024 / rank @@
+Normal rank
@@ Property / cites work @@
+Prior and Belnap
@@ Property / cites work: Prior and Belnap / rank @@
+Normal rank
@@ Property / cites work @@
+Valuational semantics of rule derivability
@@ Property / cites work: Valuational semantics of rule derivability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236324
@@ Property / cites work: Q4236324 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of questions
@@ Property / cites work: Syntax and semantics of questions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318839
@@ Property / cites work: Q4318839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751053
@@ Property / cites work: Q2751053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541301
@@ Property / cites work: Q5541301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156409
@@ Property / cites work: Q4156409 / rank @@
+Normal rank
@@ Property / cites work @@
+First degree formulas in Curry's LD
@@ Property / cites work: First degree formulas in Curry's LD / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus MCC
@@ Property / cites work: On the calculus MCC / rank @@
+Normal rank
@@ Property / cites work @@
+The categoricity problem and truth-value gaps
@@ Property / cites work: The categoricity problem and truth-value gaps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401922
@@ Property / cites work: Q4401922 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and Derived Rules
@@ Property / cites work: Rules and Derived Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Rejection
@@ Property / cites work: Rejection / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and sequent calculus for intuitionistic relevant logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1582228