Pages that link to "Item:Q2277247"
From MaRDI portal
The following pages link to Gentzenization and decidability of some contraction-less relevant logics (Q2277247):
Displayed 9 items.
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- Simple Gentzenizations for the normal formulae of contraction-less logics (Q3128476) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- Gentzenizations of relevant logics without distribution. I (Q4894717) (← links)
- Gentzenizations of relevant logics with distribution (Q4894719) (← links)
- Normalized natural deduction systems for some relevant logics I: The logic DW (Q5477623) (← links)