Four relevant Gentzen systems

DOI10.1007/BF00396905zbMath0625.03008MaRDI QIDQ579235

Steve Giambrone, Aleksandar Kron

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

proof theoryGentzen systemsdecision procedurescontractionless logicrelevant logicscontraction-free logicCut Theoremssemilattice logicsemilattice relevant logicssentential constantstructural constant

Mathematics Subject Classification ID

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 (2)

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

This page was built for publication: Four relevant Gentzen systems