Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423): Difference between revisions

@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940716
@@ Property / cites work: Q4940716 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for dual and symmetric combinatory calculi
+Normal rank
@@ Property / cites work @@
+Q4459274
@@ Property / cites work: Q4459274 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment omega
@@ Property / cites work: The semantics of entailment omega / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Relevant predication. I: The formal theory
@@ Property / cites work: Relevant predication. I: The formal theory / rank @@
+Normal rank
@@ Property / cites work @@
+Contradictory information: too much of a good thing
+Normal rank
@@ Property / cites work @@
+Combinators and structurally free logic
@@ Property / cites work: Combinators and structurally free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for entailment
@@ Property / cites work: Models for entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3797142
@@ Property / cites work: Q3797142 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845524
@@ Property / cites work: Q2845524 / rank @@
+Normal rank
@@ Property / cites work @@
+General information in relevant logic
@@ Property / cites work: General information in relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+The nature of information: a relevant approach
@@ Property / cites work: The nature of information: a relevant approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732137
@@ Property / cites work: Q4732137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank