Emptiness and discharge in sequent calculus and natural deduction

DOI10.1007/978-3-319-06080-4_2zbMATH Open1347.03007OpenAlexW1033934183MaRDI QIDQ5259653FDOQ5259653

Luca Tranchini, Michael Arndt

Publication date: 29 June 2015

Published in: Recent Trends in Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06080-4_2

Recommendations

• Natural deduction and sequent calculus for intuitionistic relevant logic
• Sequent calculus in natural deduction style
• Marginalia on sequent claculi
• scientific article; zbMATH DE number 1406467
• Natural deduction with general elimination rules

zbMATH Keywords

natural deductionsequent calculusdual intuitionistic logicpseudo-constants

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Dual-intuitionistic logic
• Negation, absurdity and contrariety
• Title not available (Why is that?)
• Proofs, disproofs, and their duals
• Title not available (Why is that?)
• A remark on Gentzen's calculus of sequents
• Natural deduction for dual-intuitionistic logic

This page was built for publication: Emptiness and discharge in sequent calculus and natural deduction

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