9 citations · 15 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
A note on strong normalization in classical natural deduction
José Espírito Santo
In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation…
cs.LO2016★ 9 cited
A Coinductive Approach to Proof Search through Typed Lambda-Calculi
José Espírito Santo, Ralph Matthes, Luís Pinto
In reductive proof search, proofs are naturally generalized by solutions, comprising all possibly infinite structures generated by locally correct, bottom-up application of inferen…