Intuitionistic type theory [Book Review]

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):235-238 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

04954548

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Intuitionistic type theory.Jesús Alcolea Banegas - 1988 - Theoria 4 (1):235-238.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
Per MARTIN-LÖF: Intuitionistic type theorv.Jesús Alcolea Banegas - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2).
Decidability in Intuitionistic Type Theory is Functionally Decidable.Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):300-304.
Lógica formal. [REVIEW]Jesús Alcolea Banegas - 1990 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 5 (1-2):270-273.
The logic of first order intuitionistic type theory with weak sigma- elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Philosophy, Logic, Science, History.Tim Crane - 2012 - Metaphilosophy 43 (1-2):20-37.

Analytics

Added to PP
2012-03-18

Downloads
56 (#286,996)

6 months
4 (#797,974)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references