An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87531-4_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1554200072
@@ Property / OpenAlex ID: W1554200072 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Relational model of second order linear logic
@@ Property / cites work: Relational model of second order linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics in multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+Q3416824
@@ Property / cites work: Q3416824 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for symmetric product phase spaces
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On denotational completeness
@@ Property / cites work: On denotational completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752054
@@ Property / cites work: Q2752054 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+A categorical semantics for polarized MALL
@@ Property / cites work: A categorical semantics for polarized MALL / rank @@
+Normal rank
@@ Property / cites work @@
+A phase semantics for polarized linear logic and second order conservativity
+Normal rank
@@ Property / cites work @@
+Polarized games
@@ Property / cites work: Polarized games / rank @@
+Normal rank