3 citations · 5 across the 3 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
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…