Pith. sign in

Towards a combinatorial proof theory

Benjamin Ralph, Lutz Stra burger · 2019 · Lecture notes in computer science · DOI 10.1007/978-3-030-29026-9

1 Pith paper cite this work, alongside 2 external citations. Polarity classification is still indexing.

1 Pith paper citing it
2 external citations · OpenAlex
open at publisher browse 1 citing papers

fields

cs.LO 1

years

2026 1

verdicts

ACCEPT 1

representative citing papers

Interpolation via Generalized Splitting

cs.LO · 2026-07-26 · accept · novelty 7.0

Every deep-inference derivation decomposes into an up-fragment then a down-fragment around a Lyndon interpolant, generalizing both interpolation and cut elimination.

citing papers explorer

Showing 1 of 1 citing paper.

  • Interpolation via Generalized Splitting cs.LO · 2026-07-26 · accept · none · ref 34

    Every deep-inference derivation decomposes into an up-fragment then a down-fragment around a Lyndon interpolant, generalizing both interpolation and cut elimination.