First degree entailments (Q1131500): Difference between revisions

@@ Property / author @@
-Nuel D. jun. Belnap
@@ Property / author: Nuel D. jun. Belnap / rank @@
-Normal rank
@@ Property / author @@
+Nuel D. jun. Belnap
@@ Property / author: Nuel D. jun. Belnap / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
+Normal rank
@@ Property / cites work @@
+A simple treatment of truth functions
@@ Property / cites work: A simple treatment of truth functions / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Axiom Schemata for the Pure Theory of Entailment
+Normal rank
@@ Property / cites work @@
+EQ and the First Order Functional Calculus
@@ Property / cites work: EQ and the First Order Functional Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Entailment and relevance<sup>1</sup>
@@ Property / cites work: Entailment and relevance<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+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 @@
+Q3241192
@@ Property / cites work: Q3241192 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / OpenAlex ID @@
+W2066458790
@@ Property / OpenAlex ID: W2066458790 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1131500