A computational interpretation of conceptivism (Q4583359): Difference between revisions

@@ Property / cites work @@
+Q4398769
@@ Property / cites work: Q4398769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for reasoning about computation errors
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772179
@@ Property / cites work: Q5772179 / rank @@
+Normal rank
@@ Property / cites work @@
+On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Formal inconsistency and evolutionary databases
@@ Property / cites work: Formal inconsistency and evolutionary databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4992398
@@ Property / cites work: Q4992398 / 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 @@
+The completeness of S
@@ Property / cites work: The completeness of S / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent analytic implication
@@ Property / cites work: Paraconsistent analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+A modification of Parry's analytic implication
@@ Property / cites work: A modification of Parry's analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q4888737
@@ Property / cites work: Q4888737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367503
@@ Property / cites work: Q3367503 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic implication
@@ Property / cites work: Analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604278
@@ Property / cites work: Q3604278 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055621
@@ Property / cites work: Q4055621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment
+Normal rank
@@ Property / cites work @@
+Q5800353
@@ Property / cites work: Q5800353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789445
@@ Property / cites work: Q4789445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113800
@@ Property / cites work: Q4113800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190612
@@ Property / cites work: Q4190612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistency and analyticity
@@ Property / cites work: Paraconsistency and analyticity / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical theory of analytic implication
@@ Property / cites work: A semantical theory of analytic implication / rank @@
+Normal rank