Philosophical aspects of display logic

MaRDI QIDQ4648960zbMATH OpenFDO

Authors Shawn Standefer

Publication date 16 November 2012

Mathematics Subject Classification ID

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

Recommendations

• General-elimination harmony and the meaning of the logical constants
• scientific article; zbMATH DE number 5902347
• Classical harmony: Rules of inference and the meaning of the logical constants
• A note on harmony
• Harmonic inferentialism and the logic of identity

Cited in

(3)

• Hypersequent and display calculi -- a unified perspective
• Harmonic inferentialism and the logic of identity
• Harmony and the context of deducibility

This page was built for publication: Philosophical aspects of display logic

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