Problems and solutions in the framework of procedural semantics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F14%3A00078220" target="_blank" >RIV/00216224:14210/14:00078220 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Problems and solutions in the framework of procedural semantics

Popis výsledku v původním jazyce

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 adirect 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.

Název v anglickém jazyce

Problems and solutions in the framework of procedural semantics

Popis výsledku anglicky

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 adirect 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.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů