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