Four relevant Gentzen systems

DOI10.1007/BF00396905MaRDI QIDQ579235zbMATH OpenFDO

Authors 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) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) Complexity of proofs (03F20)

Recommendations

• Gentzenization and decidability of some contraction-less relevant logics
• scientific article; zbMATH DE number 3961578
• scientific article; zbMATH DE number 1248086
• scientific article; zbMATH DE number 1163926
• \(TW_+\) and \(RW_+\) are decidable

Cites work

• scientific article; zbMATH DE number 3827829 (Why is no real title available?)
• scientific article; zbMATH DE number 3961578 (Why is no real title available?)
• scientific article; zbMATH DE number 3672269 (Why is no real title available?)
• scientific article; zbMATH DE number 3533889 (Why is no real title available?)
• A consecutive calculus for positive relevant implication with necessity
• A contractionless semilattice semantics
• An axiomatic version of positive semilattice relevance logic
• Gentzen formulations of two positive relevance logics
• On purported Gentzen formulations of two positive relevant logics
• Proof Theories for Semilattice Logics
• Semantics for relevant logics
• \(TW_+\) and \(RW_+\) are decidable

Cited in

(8)

• scientific article; zbMATH DE number 3961578 (Why is no real title available?)
• scientific article; zbMATH DE number 4012564 (Why is no real title available?)
• Continuing Variations on a System of Gentzen
• A conservative negation extension of positive semilattice logic without the finite model property
• A note on an alternative Gentzenization of RW+∘
• 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)