Pages that link to "Item:Q3986870"

The following pages link to Some Syntactical Observations on Linear Logic (Q3986870):

Displaying 21 items.

• On the unity of logic (Q685059) (← links)
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic (Q1193657) (← links)
• Modal translations in substructural logics (Q1198409) (← links)
• Representing scope in intuitionistic deductions (Q1274448) (← links)
• Full intuitionistic linear logic (Q1314646) (← links)
• Reflections on ``difficult'' embeddings (Q1344853) (← links)
• On the linear decoration of intuitionistic derivations (Q1345901) (← links)
• Connection methods in linear logic and proof nets construction (Q1575926) (← links)
• A note on full intuitionistic linear logic (Q1919548) (← links)
• From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) (← links)
• Dualized Simple Type Theory (Q2974773) (← links)
• Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
• The undecidability of second order linear logic without exponentials (Q4894725) (← links)
• (Q4993336) (← links)
• (Q5018490) (← links)
• Subexponentials in non-commutative linear logic (Q5236554) (← links)
• Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
• Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
• Comparing session type systems derived from linear logic (Q6643467) (← links)
• \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)