The problem of harmony in classical logic

zbMATH Open1505.03016MaRDI QIDQ5149151FDOQ5149151

Authors: Giulio Guerrieri, Alberto Naibo 

Publication date: 6 February 2021

Recommendations

• Classical harmony: Rules of inference and the meaning of the logical constants
• Classical harmony and separability
• Harmony and autonomy in classical logic
• General-elimination harmony and the meaning of the logical constants
• Harmonising natural deduction

zbMATH Keywords

harmonyproof theorynatural deductionsequent calculusclassical logicinferentialismnegative translationphilosophy of logic

Mathematics Subject Classification ID

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

Cited In (8)

• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Classical harmony and separability
• Harmony and the context of deducibility
• Harmony in the light of computational ludics
• On an inferential semantics for classical logic
• Harmonising natural deduction

This page was built for publication: The problem of harmony in classical logic

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