A cut-elimination proof in positive relevant logic with necessity

DOI10.1007/S11225-020-09920-3OpenAlexW3101140609MaRDI QIDQ2046880

Mirjana Ilić

Publication date: 19 August 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-020-09920-3

zbMATH Keywords

sequent calculirelevant logicsadmissibility of cut

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A note on an alternative Gentzenization of RW+∘

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New consecution calculi for \(R^{t}_{\to}\)
• The Gentzenization and decidability of RW
• \(TW_+\) and \(RW_+\) are decidable
• A consecutive calculus for positive relevant implication with necessity
• Cut-elimination theorem for relevant logics
• Handbook of philosophical logic. Vol. 6
• Display logic
• An alternative Gentzenisation of RW+∘
• Two extensions of the structurally free logic LC
• A cut-free sequent calculus for relevant logic RW
• Proof Theory

This page was built for publication: A cut-elimination proof in positive relevant logic with necessity