On the equivalence conjecture for proof-theoretic harmony

DOI10.1215/00294527-1731398zbMath1301.03014OpenAlexW2088230874WikidataQ123353703 ScholiaQ123353703MaRDI QIDQ1934955

Florian Steinberger

Publication date: 30 January 2013

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1355494524

zbMATH Keywords

harmonyproof theorylogical constantslogical inferentialism

Mathematics Subject Classification ID

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

Related Items (5)

Stabilizing quantum disjunction ⋮ Harmony and Normalisation in Bilateral Logic ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Prawitz, Proofs, and Meaning ⋮ Single-assumption systems in proof-theoretic semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Harmony in a sequent setting: a reply to Tennant
• Harmony in a sequent setting
• Not so stable

This page was built for publication: On the equivalence conjecture for proof-theoretic harmony