Harmony and the context of deducibility

zbMATH Open1320.03016MaRDI QIDQ2939743FDOQ2939743

Authors: Ole Thomassen Hjortland 

Publication date: 22 January 2015

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

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)

Cited In (5)

• Title not available (Why is that?)
• Hopeful monsters: a note on multiple conclusions
• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• Title not available (Why is that?)
• 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)