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/

Global: Zendy Plus annual

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

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present a calculus providing a Curry-Howard correspondence to classicallogic represented in the sequent calculus with explicit structural rules,namely weakening and contraction. These structural rules introduce expliciterasure and duplication of terms, respectively. We present a type system forwhich we prove the type-preservation under reduction. A mutual relation withclassical calculus featuring implicit structural rules has been studied indetail. From this analysis we derive strong normalisation property.

Computational interpretation of classical logic with explicit structural rules