Publication:5279185

zbMath1446.03104MaRDI QIDQ5279185

Mirjana Ilić

Publication date: 19 July 2017

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

The nature of entailment: an informational approach