2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2021
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…
cs.LO2021★ 2 cited
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…
cs.LO2006
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…