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 2016Show all

2 papers · 1 filter

cs.LO2016

Computational Interpretations of Markov's principle

Matteo Manighetti

Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that "if it is impossible that an algorithm does not termi…

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…