| EPSRC Reference: |
GR/T19735/01 |
| Title: |
Duality, canonicity & correspondence |
| Principal Investigator: |
Priestley, Professor H |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematical Institute |
| Organisation: |
University of Oxford |
| Scheme: |
Mathematics Small Grant PreFEC |
| Starts: |
01 July 2004 |
Ends: |
31 August 2005 |
Value (£): |
7,155
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Semantic models for formal languages (in logic and in computer science) allow one to reason about these languages. This project focuses on two important types of semantics, relational and algebraic, and the connections between them. These connections are studied using the tools of duality and canonical extensions, which provide concrete models of the mathematical structures involved. These are ordered algebraic structures (chiefly lattices with additional operations) and, on the relational side, ordered structures, with and without topology.
|
|
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.ox.ac.uk |