Relational semantics for full linear logic (Q280840): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2013.07.005
@@ Property / DOI: 10.1016/j.jal.2013.07.005 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2013.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2047220130
@@ Property / OpenAlex ID: W2047220130 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational representations of lattices with negation
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2013.07.005
@@ Property / DOI: 10.1016/J.JAL.2013.07.005 / rank @@
+Normal rank