scientific article
From MaRDI portal
Publication:3079697
zbMATH Open1244.03080MaRDI QIDQ3079697
Publication date: 2 March 2011
Title of this publication is not available (Why is that?)
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
Meaning approached via proofs ⋮ On the meaning of ‘therefore’ ⋮ Dag Prawitz on proofs, operations and grounding ⋮ Proof, meaning and paradox: some remarks ⋮ Prawitz, Proofs, and Meaning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079697)
