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 / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578545
@@ Property / zbMATH DE Number: 6578545 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relational semantics
@@ Property / zbMATH Keywords: relational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+canonical extensions
@@ Property / zbMATH Keywords: canonical extensions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+phase semantics
@@ Property / zbMATH Keywords: phase semantics / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:280840