33 citations · 87 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…