Birkbeck, University of London Featured PhD Programmes
FindA University Ltd Featured PhD Programmes
University of Kent Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
European Molecular Biology Laboratory (Heidelberg) Featured PhD Programmes

Categorical proof theory: developing models to increase the understanding of logic proofs

This project is no longer listed on FindAPhD.com and may not be available.

Click here to search FindAPhD.com for PhD studentship opportunities
  • Full or part time
    Dr A Schalk
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

There is a strong connection between programs and the proofs for certain logics. By finding mathematical models for either of these we increase our understanding of them. Because logical connectives relate closely to constructions in the model it is often mathematically cleaner to consider the former. (Categorical) proof theory is concerned with how proofs may be modelled, and which proofs can be considered equivalent to each other. While there are some logics whose proof theory is well understood these are fairly limited. The aim of this project is to extend what is known to more interesting logics. There is also a connection between this project and extracting programs from non-constructive proofs, and it would be possible to emphasize that aspect.

References

Supervisor's Webpage http://www.cs.man.ac.uk/~schalk/

Related Subjects

How good is research at The University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities


FindAPhD. Copyright 2005-2019
All rights reserved.