Number of the records: 1
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
- 1.
SYSNO ASEP 0508538 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions Author(s) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Source Title The Logica Yearbook 2018. - London : College Publications, 2019 / Sedlár I. ; Blicha M. - ISBN 978-1-84890-307-4 Pages s. 197-210 Number of pages 14 s. Publication form Print - P Action Logica 2018 Event date 18.06.2018 - 22.06.2018 VEvent location Hejnice Country CZ - Czech Republic Event type WRD Language eng - English Country GB - United Kingdom Keywords Transparent Intensional Logic ; procedural semantics ; logic of problems ; procedural isomorphism Subject RIV AA - Philosophy ; Religion OECD category Philosophy, History and Philosophy of science and technology R&D Projects GJ17-18344Y GA ČR - Czech Science Foundation (CSF) Institutional support FLU-F - RVO:67985955 Annotation 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. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2020
Number of the records: 1