scientific article; zbMATH DE number 1406804

MaRDI QIDQ4940720zbMATHFDO

Authors A. S. Troelstra

Publication date 28 February 2000

zbMATH Keywords

embeddingsfragmentslinear logicphase semanticsintroductory surveycut elemination

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

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 Q4940720)