The problem of harmony in classical logic

MaRDI QIDQ5149151zbMATH OpenFDO

Authors Giulio Guerrieri, Alberto Naibo

Publication date 6 February 2021

zbMATH Keywords

harmonyproof theorynatural deductionsequent calculusclassical logicinferentialismnegative translationphilosophy of logic

Mathematics Subject Classification ID

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

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

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)