Počet záznamů: 1
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
- 1.0508538 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0299549
Počet záznamů: 1