From IF to BI. A tale of dependence and separation (Q833040): Difference between revisions

@@ Property / Wikidata QID @@
+Q57006587
@@ Property / Wikidata QID: Q57006587 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1388
@@ Property / arXiv ID: 1102.1388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some combinatorics of imperfect information
@@ Property / cites work: Some combinatorics of imperfect information / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Dependencies in a Relational Database and Propositional Logic
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4208569
@@ Property / cites work: Q4208569 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
+Normal rank
@@ Property / cites work @@
+Q4360863
@@ Property / cites work: Q4360863 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612630
@@ Property / cites work: Q5612630 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Monoid based semantics for linear formulas
@@ Property / cites work: Monoid based semantics for linear formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Second-Order Logic and Foundations of Mathematics
@@ Property / cites work: Second-Order Logic and Foundations of Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank