Four relevant Gentzen systems
DOI10.1007/BF00396905zbMATH Open0625.03008MaRDI QIDQ579235FDOQ579235
Authors: Steve Giambrone, Aleksandar Kron 
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
proof theoryGentzen systemsdecision procedurescontractionless logicrelevant logicscontraction-free logicCut Theoremssemilattice logicsemilattice relevant logicssentential constantstructural constant
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) Complexity of proofs (03F20)
Cites Work
- \(TW_+\) and \(RW_+\) are decidable
- Semantics for relevant logics
- Proof Theories for Semilattice Logics
- On purported Gentzen formulations of two positive relevant logics
- A consecutive calculus for positive relevant implication with necessity
- Gentzen formulations of two positive relevance logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- A contractionless semilattice semantics
- Title not available (Why is that?)
- An axiomatic version of positive semilattice relevance logic
- Title not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuing Variations on a System of Gentzen
- A note on an alternative Gentzenization of RW+∘
- A conservative negation extension of positive semilattice logic without the finite model property
- On purported Gentzen formulations of two positive relevant logics
- Modal translations in substructural logics
- Solution to a problem of Ono and Komori
This page was built for publication: Four relevant Gentzen systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579235)
