Pages that link to "Item:Q817697"

The following pages link to Admissibility of cut in LC with fixed point combinator (Q817697):

Displayed 2 items.

• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) ‎ (← links)
• RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) ‎ (← links)