43 citations · 77 across the 16 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 3 cited
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic
Federico Aschieri, Matteo Manighetti
Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a…
cs.LO2016★ 8 cited
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
Federico Aschieri
Dummett's logic LC is intuitionistic logic extended with Dummett's axiom: for every two statements the first implies the second or the second implies the first. We present a natura…
cs.LO2016
Gödel Logic: from Natural Deduction to Parallel Computation
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Propositional Gödel logic extends intuitionistic logic with the non-constructive principle of linearity . We introduce a Curry-Howard correspo…