Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496230
Title: Foundations of dependently sorted logic
Author: Castel-Branco Belo, Joao Filipe
Awarding Body: University of Manchester
Current Institution: University of Manchester
Date of Award: 2008
Availability of Full Text:
Access from EThOS:
Abstract:
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: uk.bl.ethos.496230  DOI: Not available
Share: