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

The purpose of this paper is to introduce a bi-intuitionistic sequentcalculus and to give proofs of admissibility for its structural rules. Thecalculus I will present, called SC2Int, is a sequent calculus for thebi-intuitionistic logic 2Int. Calculi for this logic represent a kind ofbilateralist reasoning, since they do not only internalize processes ofverification or provability but also the dual processes in terms offalsification or what is called dual provability. A normal form theorem for anatural deduction calculus of 2Int has already been stated, in this paper Iwant to prove a cut-elimination theorem for SC2Int, i.e. if successful, thiswould extend the results existing so far.

A cut-free sequent calculus for the bi-intuitionistic logic 2Int