Four relevant Gentzen systems
From MaRDI portal
Publication:579235
DOI10.1007/BF00396905zbMath0625.03008MaRDI QIDQ579235
Steve Giambrone, Aleksandar Kron
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
proof theoryGentzen systemsdecision procedurescontractionless logicrelevant logicscontraction-free logicCut Theoremssemilattice logicsemilattice relevant logicssentential constantstructural constant
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Complexity of proofs (03F20)
Related Items
Modal translations in substructural logics, A conservative negation extension of positive semilattice logic without the finite model property
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On purported Gentzen formulations of two positive relevant logics
- \(TW_+\) and \(RW_+\) are decidable
- A consecutive calculus for positive relevant implication with necessity
- Gentzen formulations of two positive relevance logics
- Proof Theories for Semilattice Logics
- A contractionless semilattice semantics
- An axiomatic version of positive semilattice relevance logic
- Semantics for relevant logics