Exploring Computational Contents of Intuitionist Proofs

, &
Logic Journal of the IGPL 13 (1):69-93 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzi005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Exploring Computational Contents of Intuitionist Proofs.Geiza Hamazaki da Silva, Edward Haeusler & Paulo Veloso - 2005 - Logic Journal of the IGPL 13 (1):69-93.
Exploring Computational Contents of Intuitionist Proofs.G. M. H. da Silva - 2005 - Logic Journal of the IGPL 13 (1):69-93.
Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural.Geiza Maria Hamazaki da Silva & Edward Hermann Haeusler - 2001 - Princípios 8 (10):25-61.
What are the contents of representations in predictive processing?Wanja Wiese - 2017 - Phenomenology and the Cognitive Sciences 16 (4):715-736.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
The Computational Content of Arithmetical Proofs.Stefan Hetzl - 2012 - Notre Dame Journal of Formal Logic 53 (3):289-296.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations.Wilfrid Hodges - 2018 - Philosophy and Technology 31 (1):131-153.
The Computational Content of Classical Arithmetic to Appear in a Festschrift for Grigori Mints.Jeremy Avigad - unknown
On the computational content of the axiom of choice.Stefano Berardi, Marc Bezem & Thierry Coquand - 1998 - Journal of Symbolic Logic 63 (2):600-622.
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.
The AProS Project: Strategic Thinking & Computational Logic.Wilfried Sieg - 2007 - Logic Journal of the IGPL 15 (4):359-368.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
On the computational content of the Bolzano-Weierstraß Principle.Pavol Safarik & Ulrich Kohlenbach - 2010 - Mathematical Logic Quarterly 56 (5):508-532.

Analytics

Added to PP
2017-10-25

Downloads
11 (#1,075,532)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ana Veloso
Universidade de Aveiro

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references