activity
20162023
most citedOn Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018★ 2 cited

Admissible Tools in the Kitchen of Intuitionistic Logic

Andrea Condoluci, Matteo Manighetti

The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even thou…