If one of these two formulas does not occur, then it suffices to consider a different instance ofsq◦ R (if𝐾 2 does not occur), andsq◦ L (if𝐾 3 does not occur)

As in the previous cases, we only discuss the case on the left in which𝐾1, 𝐾2 are present

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.LO · 2025-05-19 · unverdicted · novelty 6.0

Presents new intuitionistic logic IBV with deep inference cut elimination and non-associative variant INML with sequent calculus.

Showing 1 of 1 citing paper.

Intuitionistic BV (Extended version) cs.LO · 2025-05-19 · unverdicted · none · ref 29
Presents new intuitionistic logic IBV with deep inference cut elimination and non-associative variant INML with sequent calculus.