Problems and solutions in the framework of procedural semantics
| Authors | |
|---|---|
| Year of publication | 2014 |
| MU Faculty or unit | |
| Citation | |
| Description | We examine two possible approaches to the formal treatment of the notion of problem in the paradigm of procedural semantics. More specifically, we will explore an approach based on Martin-Löf's Constructive Type Theory (abbr. CTT), which can be seen as a direct continuation of Kolmogorov's original calculus of problems, and an approach utilizing Tichý's Transparent Intensional Logic (abbr. TIL), which can be viewed as a realist attempt of interpreting Kolmogorov's logic of problems. |
| Related projects: |