| EPSRC Reference: |
EP/C536290/1 |
| Title: |
Quantification in Non-classical Logic |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 February 2005 |
Ends: |
31 July 2006 |
Value (£): |
42,044
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Success of non-classical logic in application so far was mainly due to the propositional versions. It is now urgent to develop theories of quantification in a systematic and comprehensive way. We propose to investigate(as part of a long term plan) the quantificational landscape for modal and superintuitionistic logics, axioms and variety of semantical interpretations. Workpackages include classification of frames and morphisms in different semantics, soundness and completeness proofs, development of nonical model and filtration technique.
|
|
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: |
|