Publication details

Problems and solutions in the framework of procedural semantics

Authors

PEZLAR Ivo

Year of publication 2014
MU Faculty or unit

Faculty of Arts

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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info