Pages that link to "Item:Q817697"
From MaRDI portal
The following pages link to Admissibility of cut in LC with fixed point combinator (Q817697):
Displayed 5 items.
- Current trends in substructural logics (Q266641) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)