Pages that link to "Item:Q5236554"
From MaRDI portal
The following pages link to Subexponentials in non-commutative linear logic (Q5236554):
Displaying 16 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Versions of a local contraction subexponential in the Lambek calculus (Q6160496) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
