Pages that link to "Item:Q1247417"
From MaRDI portal
The following pages link to Cut-elimination theorem for relevant logics (Q1247417):
Displaying 10 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- On purported Gentzen formulations of two positive relevant logics (Q1071751) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
