A New Deconstructive Logic: Linear Logic (1997)

A New Deconstructive Logic: Linear Logic (1997)- Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).