Correia semantics revisited (Q300562): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-015-9631-2
@@ Property / DOI: 10.1007/s11225-015-9631-2 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6599138
@@ Property / zbMATH DE Number: 6599138 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+analytic containment
@@ Property / zbMATH Keywords: analytic containment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Correia semantics
@@ Property / zbMATH Keywords: Correia semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+many-valued logic
@@ Property / zbMATH Keywords: many-valued logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-015-9631-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1752027965
@@ Property / OpenAlex ID: W1752027965 / rank @@
+Normal rank
@@ Property / cites work @@
+MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
@@ Property / cites work: MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772179
@@ Property / cites work: Q5772179 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of nonsense and Parry systems
@@ Property / cites work: Logics of nonsense and Parry systems / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q4693184
@@ Property / cites work: Q4693184 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for analytic containment
@@ Property / cites work: Semantics for analytic containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3099308
@@ Property / cites work: Q3099308 / rank @@
+Normal rank
@@ Property / cites work @@
+A story semantics for implication
@@ Property / cites work: A story semantics for implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137142
@@ Property / cites work: Q4137142 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of S
@@ Property / cites work: The completeness of S / rank @@
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+A computational interpretation of conceptivism
@@ Property / cites work: A computational interpretation of conceptivism / rank @@
+Normal rank
@@ Property / cites work @@
+Faulty Belnap computers and subsystems of FDE
@@ Property / cites work: Faulty Belnap computers and subsystems of FDE / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic implication
@@ Property / cites work: Analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+Angellic content
@@ Property / cites work: Angellic content / rank @@
+Normal rank
@@ Property / cites work @@
+On a new idiom in the study of entailment
@@ Property / cites work: On a new idiom in the study of entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4116428
@@ Property / cites work: Q4116428 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-015-9631-2
@@ Property / DOI: 10.1007/S11225-015-9631-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:300562