The display problem revisited

MaRDI QIDQ4918295zbMATH OpenFDO

Authors Tyke Nunez

Publication date 24 April 2013

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970627
• scientific article; zbMATH DE number 966898
• scientific article; zbMATH DE number 970630
• Linear logic displayed
• Disentangling structural connectives or life without display property

Cited in

(2)

• scientific article; zbMATH DE number 970627 (Why is no real title available?)
• Display calculi and other modal calculi: a comparison

This page was built for publication: The display problem revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918295)