English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

The sequent calculus sL for the Lambek calculus L (lambek 58) has nostructural rules. Interestingly, sL is equivalent to a multimodal calculus mL,which consists of the nonassociative Lambek calculus with the structural ruleof associativity. This paper proves that the sequent calculus or hypersequentcalculus hD of the discontinuous Lambek calculus (Morrill and Valent\'in),which like sL has no structural rules, is also equivalent to an omega-sortedmultimodal calculus mD. More concretely, we present a faithful embeddingtranslation between mD and hD in such a way that it can be said that hD absorbsthe structural rules of mD.

The Hidden Structural Rules of the Discontinuous Lambek Calculus