Reductions in Intuitionistic Linear Logic (Q4882488): Difference between revisions

@@ Property / author @@
-Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
-Normal rank
@@ Property / author @@
+Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+On the conditions of full coherence in closed categories
+Normal rank
@@ Property / cites work @@
+Preservation of equivalence of derivations under reduction of depth of formulas
+Normal rank
@@ Property / cites work @@
+The PRIZ system and propositional calculus
@@ Property / cites work: The PRIZ system and propositional calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4882488