Harmony in a sequent setting

DOI10.1093/ANALYS/ANQ026MaRDI QIDQ4648457zbMATH OpenOpenAlexFDO

Authors Neil Tennant

Publication date 9 November 2012

Published in Analysis (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9e1d19c48978e4fcb0827ec85abb3bc7aaf3a84d

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Harmony in a sequent setting: a reply to Tennant
• Double-line harmony in a sequent setting
• HARMONISING HARMONY
• A note on harmony
• Harmonising natural deduction

Cited in

(11)

• On the equivalence conjecture for proof-theoretic harmony
• Classical harmony and separability
• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• HARMONISING HARMONY
• Harmonious Extensions
• Harmony in a sequent setting: a reply to Tennant
• Not so stable
• Double-line harmony in a sequent setting
• A novel approach to equality
• The logicality of equality
• Why should identity be logical??

This page was built for publication: Harmony in a sequent setting

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