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

Logic and Logical Philosophy 26 (4):473-508 (2017)
  Copy   BIBTEX


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, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, 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 problems only.



    Upload a copy of this work     Papers currently archived: 89,621

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
A characterization of constructive dimension.Satyadev Nandakumar - 2009 - Mathematical Logic Quarterly 55 (2):185-200.
Towards applied theories based on computability logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.
A Constructive Logic Of Program Schemata On A Decidable Universe.N. Nepejvoda - 1988 - Bulletin of the Section of Logic 17 (3-4):138-145.
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Curry's paradox in contractionless constructive logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.


Added to PP

26 (#517,529)

6 months
4 (#310,987)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ivo Pezlar
Czech Academy of Sciences

Citations of this work

Anatomy of a proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
Type Polymorphism, Natural Language Semantics, and TIL.Ivo Pezlar - 2023 - Journal of Logic, Language and Information 32 (2):275-295.

Add more citations