Počet záznamů: 1

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

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