Pages that link to "Item:Q4032664"
From MaRDI portal
The following pages link to Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664):
Displaying 7 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
