The following pages link to Four relevant Gentzen systems (Q579235):
Displaying 6 items.
- On purported Gentzen formulations of two positive relevant logics (Q1071751) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (Q2277440) (← links)
- Continuing Variations on a System of Gentzen (Q3718687) (← links)
- A note on an alternative Gentzenization of RW+∘ (Q6047679) (← links)