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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and severaltheir non-infectious modifications, including two new logics, reformulatepreviously constructed natural deduction systems for them (or present suchsystems from scratch for the case of new logics) in way such that the proof ofnormalisation theorem becomes possible for these logics. We present such aproof and establish the negation subformula property for the logics inquestion.

Normalisation for Some Infectious Logics and Their Relatives