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

DOI10.4467/20842589RM.17.006.7144MaRDI QIDQ4609358zbMATH OpenFDO

Authors Mirjana Ilić

Publication date 29 March 2018

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

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)

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

Cited in

(9)

• Constructive natural deduction and its ‘ω-set’ interpretation
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• scientific article; zbMATH DE number 1980937 (Why is no real title available?)
• 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

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)