Harmony and the context of deducibility

zbMATH Open1320.03016MaRDI QIDQ2939743FDOQ2939743

Authors Ole Thomassen Hjortland

Publication date 22 January 2015

zbMATH Keywords

substructural logicslogical inferentialism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Philosophical aspects of display logic
• Classical harmony: Rules of inference and the meaning of the logical constants
• The problem of harmony in classical logic
• General-elimination harmony and the meaning of the logical constants
• scientific article; zbMATH DE number 65539

Cited in

(5)

• scientific article; zbMATH DE number 65539 (Why is no real title available?)
• Hopeful monsters: a note on multiple conclusions
• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• The original sin of proof-theoretic semantics

This page was built for publication: Harmony and the context of deducibility

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