A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic

DOI10.4467/20842589RM.17.006.7144zbMATH Open1417.03283MaRDI QIDQ4609358FDOQ4609358

Authors: Mirjana Ilić 

Publication date: 29 March 2018

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Recommendations

• Natural deduction and sequent calculus for intuitionistic relevant logic
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• A note on an alternative Gentzenization of RW+∘
• A cut-free sequent calculus for relevant logic RW
• The proof-theoretical analysis of contraction-less relevant logics

zbMATH Keywords

natural deductionrelevant logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (9)

• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• Title not available (Why is that?)
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Sequent calculus in natural deduction style
• CHR: a constructive relevant natural-deduction logic
• Note on deduction theorems in contraction-free logics
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• A sequent calculus for a negative free logic
• Constructive natural deduction and its ‘ω-set’ interpretation

This page was built for publication: A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4609358)