2 citations · 2 across the 3 of their papers we have counts for
5 papers · 1 filter
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…
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-…
Combinatorial Proofs and Decomposition Theorems for First-order Logic
Dominic Hughes, Lutz Straßburger, Jui-Hsuan Wu
We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in a deductive proof sy…
Towards a Denotational Semantics for Proofs in Constructive Modal Logic
Matteo Acclavio, Davide Catta, Lutz Straßburger
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for p…
Proof Nets and the Identity of Proofs
Lutz Strassburger
These are the notes for a 5-lecture-course given at ESSLLI 2006 in Malaga, Spain. The URL of the school is http://esslli2006.lcc.uma.es/ . This version slightly differs from the on…