33 citations · 87 across the 15 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Interpolation via Generalized Splitting
Lutz Straßburger
We propose a new proof theoretical method for proving Lyndon interpolation. Our proof does not use the sequent calculus but is based on a generalization of the splitting lemma in d…
cs.LO2026
Proof Identity and Categorical Models of BV
Matteo Acclavio, Lutz Straßburger, Vladimir Zamdzhiev
BV-categories are a recent development that aims to give categorical semantics to proofs in the logic BV. However, due to the absence of a coherence theorem on one side and a well-…