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

Number of the records: 1

1.

SYSNO	0508538
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. S. 197-210. - London : College Publications, 2019 / Sedlár I. ; Blicha M.
Conference	Logica 2018, 18.06.2018 - 22.06.2018, Hejnice
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GJ17-18344Y GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	GB
Keywords	Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Permanent Link	http://hdl.handle.net/11104/0299549

Number of the records: 1