Expressing additives using multiplicatives and subexponentials (Q4637626): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Subexponential Logics Are Equally Expressive
+Normal rank
@@ Property / cites work @@
+Q5015208
@@ Property / cites work: Q5015208 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical characterization of forward and backward chaining in the inverse method
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Specifying Proof Systems in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+An extended framework for specifying and reasoning about proof systems
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank