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

Number of the records: 1

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