Další formáty:
BibTeX
LaTeX
RIS
@article{1381535,
author = {Pezlar, Ivo},
article_number = {4},
doi = {http://dx.doi.org/10.12775/LLP.2017.010},
keywords = {logic of problems; algorithmic semantics; procedural semantics; Constructive Type Theory; Transparent Intensional Logic},
language = {eng},
issn = {1425-3305},
journal = {Logic and Logical Philosophy},
title = {Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach},
url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.010},
volume = {26},
year = {2017}
}
TY - JOUR
ID - 1381535
AU - Pezlar, Ivo
PY - 2017
TI - Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
JF - Logic and Logical Philosophy
VL - 26
IS - 4
SP - 473-508
EP - 473-508
PB - Nicolaus Copernicus University
SN - 14253305
KW - logic of problems
KW - algorithmic semantics
KW - procedural semantics
KW - Constructive Type Theory
KW - Transparent Intensional Logic
UR - http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.010
N2 - In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory (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 (TIL), which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to TIL-based approach. The focus will be on non-empirical (i.e., mathematical and logical) problems only.
ER -
PEZLAR, Ivo. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach. \textit{Logic and Logical Philosophy}. Nicolaus Copernicus University, 2017, roč.~26, č.~4, s.~473-508. ISSN~1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2017.010.
|
