Back to Search Start Over

Interpreting descriptions in intensional type theory

Authors :
Carlstrom, Jesper
Source :
Journal of Symbolic Logic. June, 2005, Vol. 70 Issue 2, 488-514
Publication Year :
2005

Abstract

Natural deductions systems with indefinite and definite descriptions are presented, and interpreted in Martin-Lof's intensional type theory. The interpretations are formalizations of ideas which are implicit in the literature of constructive mathematics.

Subjects

Subjects :
Calculus -- Analysis
Mathematics

Details

Language :
English
ISSN :
00224812
Volume :
70
Issue :
2
Database :
Gale General OneFile
Journal :
Journal of Symbolic Logic
Publication Type :
Academic Journal
Accession number :
edsgcl.136577260

Tools

Authors Abstract Subjects Details