| title: | Non-classical logics and programming theory |
|---|---|
| reg no: | ETF5567 |
| project type: | Estonian Science Foundation research grant |
| subject: |
1.1-1.5. Exact Sciences 2.9. System Engineering and Computer Technology |
| status: | accepted |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Tarmo Uustalu |
| duration: | 01.01.2003 - 31.12.2006 |
| description: | The project focusses on the theory and applications of intuitionistic and related logics with relevance for programming theory. Specifically, proof systems, categorical semantics and term calculi are studied for intuitionistic systems with fixedpoint operators and with modalities admitting a respectable categorical interpretation, dual intuitionistic logic, and various intermediate logics. Term calculi for these systems are basic functional languages featuring inductive, coinductive types, abstract computation types, and control operators. The goal is to obtain new theoretical results about the logics and to develop new applications in programming languages and programming methodology. The project is a continuation to ETF project 4155 (2000-02). |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Marko Kääramees | Inst. of Cybern. | researcher | |
| 2. | Peep Küngas | Inst. of Cybern. | engineer | |
| 3. | Jaan Penjam | Inst. of Cybern. | director | |
| 4. | Jelena Sanko | Inst. of Cybern. | engineer | |
| 5. | Tanel Tammet | Tallinn TU | professor | |
| 6. | Tarmo Uustalu | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 7. | Varmo Vene | Univ. of Tartu | assoc. prof. | |