scientific article; zbMATH DE number 1406804

zbMATH Open0941.03526MaRDI QIDQ4940720FDOQ4940720

A. S. Troelstra

Publication date: 28 February 2000

Title of this publication is not available (Why is that?)

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)