Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

0508538 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Obor OECD: Philosophy, History and Philosophy of science and technology

We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
Trvalý link: http://hdl.handle.net/11104/0299549