Advanced search    

Search: authors:"Matteo Manighetti"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

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

Hauptstra?e 8-10/104 , 1040, Vienna , Austria 2 Matteo Manighetti Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard ... theory . J. Symbolic Logic , 10 : 109 - 124 , 1945 . doi: 10 .2307/2269016. Matteo Manighetti . Computational interpretations of markov's principle . Master's thesis , Wien, Techn. Univ., Wien , 2016 . URL