Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Pezlar I.

Years help

  1. 1 2017

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Constructive Type Theory
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

100%
Pezlar I.
Logic and Logical Philosophy
|
2017
|
vol. 26
|
issue 4
473–508
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.