Harmony in a sequent setting

DOI10.1093/ANALYS/ANQ026zbMath1284.03107OpenAlexW2073683562MaRDI QIDQ4648457

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)

Related Items (3)

On the equivalence conjecture for proof-theoretic harmony ⋮ A novel approach to equality ⋮ Classical harmony and separability

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