Philosophical aspects of display logic

zbMATH Open1268.03015MaRDI QIDQ4648960FDOQ4648960

Authors: Shawn Standefer 

Publication date: 16 November 2012

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

Mathematics Subject Classification ID

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

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)