| EPSRC Reference: |
GR/S79237/01 |
| Title: |
Fully Complete Models for the Multiplicative - Additive Fragment of Linear Logic |
| Principal Investigator: |
Schalk, Dr AC |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Manchester, The |
| Scheme: |
Overseas Travel Grants Pre-FEC |
| Starts: |
01 February 2004 |
Ends: |
31 July 2004 |
Value (£): |
4,052
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Finding theories of proofs for logics is a more fine-grained approach to just being concerned with provability. In the medium term this will help us understand computer programs better, due to the well-known connection between proofs and programs. This project is concerned with studying the proof theory of the multiplicative-additive fragment of linear logic, and therefore is concerned with different ways of looking at conjunction and disjunction. This will be done by studying models of the logic which faithfully depict the proof theory, starting with an existing such model developed by the hosts of the visit. This model will be translated into settings within the applicant's expertise.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.man.ac.uk |