Počet záznamů: 1
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
- 1.
SYSNO ASEP 0508538 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. The Logica Yearbook 2018. - London : College Publications, 2019 / Sedlár I. ; Blicha M. - ISBN 978-1-84890-307-4 Rozsah stran s. 197-210 Poč.str. 14 s. Forma vydání Tištěná - P Akce Logica 2018 Datum konání 18.06.2018 - 22.06.2018 Místo konání Hejnice Země CZ - Česká republika Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Transparent Intensional Logic ; procedural semantics ; logic of problems ; procedural isomorphism Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GJ17-18344Y GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 Anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2020
Počet záznamů: 1