Use this URL to cite or link to this record in EThOS:
Title: Foundations of dependently sorted logic
Author: Castel-Branco Belo, Joao Filipe
ISNI:       0000 0004 2675 0037
Awarding Body: University of Manchester
Current Institution: University of Manchester
Date of Award: 2008
Availability of Full Text:
Access from EThOS:
The theory of dependently sorted first order logic is developed. Two variants of the notion of a type setup, an abstract characterisation of language with dependent sorts proposed by Peter Aczel, are presented. It is argued that specialisations of these are appropriate for the characterisation of a notion of intuitionistic or classical dependently sorted first order theory and of semantic structure for the interpretation of those theories.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available