Pages that link to "Item:Q4221772"
From MaRDI portal
The following pages link to An analysis of (linear) exponentials based on extended sequents (Q4221772):
Displaying 11 items.
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Light linear logic (Q1271560) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- (Q4282602) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)