Další formáty:
BibTeX
LaTeX
RIS
@misc{1216166,
author = {Pezlar, Ivo},
booktitle = {Oberseminar Logik und Sprachtheorie, Tübingen, 2. 12. 2014},
keywords = {problems; solutions; procedural semantics; Constructive Type Theory; Transparent Intensioanl Logic},
language = {eng},
title = {Problems and solutions in the framework of procedural semantics},
year = {2014}
}
TY - SLIDE
ID - 1216166
AU - Pezlar, Ivo
PY - 2014
TI - Problems and solutions in the framework of procedural semantics
KW - problems
KW - solutions
KW - procedural semantics
KW - Constructive Type Theory
KW - Transparent Intensioanl Logic
N2 - 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.
ER -
PEZLAR, Ivo. Problems and solutions in the framework of procedural semantics. In \textit{Oberseminar Logik und Sprachtheorie, Tübingen, 2. 12. 2014}. 2014.
|
