Double-line harmony in a sequent setting

MaRDI QIDQ5224889zbMATH OpenFDO

Authors Norbert Gratzl, Eugenio Orlandelli

Publication date 24 July 2019

zbMATH Keywords

harmonyproof-theoretic semanticssequent calculiinversion principlesdouble-line rules

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Recommendations

• Harmony in a sequent setting: a reply to Tennant
• Harmony in a sequent setting
• A note on harmony
• HARMONISING HARMONY
• Harmony in multiple-conclusion natural-deduction

Cited in

(7)

• Harmony in a sequent setting: a reply to Tennant
• Harmony in a sequent setting
• A novel approach to equality
• The logicality of equality
• Hopeful monsters: a note on multiple conclusions
• Logicality, double-line rules, and modalities
• Proof-theoretic pluralism

This page was built for publication: Double-line harmony in a sequent setting

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