Pages that link to "Item:Q4487273"
From MaRDI portal
The following pages link to Non-commutative logic II: sequent calculus and phase semantics (Q4487273):
Displaying 12 items.
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- (Q3509054) (← links)
- (Q4643962) (← links)
- Non-commutative classical arithmetical sequent calculi are intuitionistic (Q4644548) (← links)
- (Q4792079) (← links)
- (Q4941998) (← links)
- Cyclic Extensions of Order Varieties (Q5415613) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)