Výsledky vyhledávání
- 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 - 2.0379954 - FLÚ 2013 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Materna, Pavel
Transparent Intensional Logic: A Challenge.
The Logica Yearbook 2011. London: College Publications, 2012 - (Peliš, M.; Punčochář, V.), s. 153-179. ISBN 978-1-84890-071-4.
[LOGICA 2011. Hejnice (CZ), 20.06.2011-24.06.2011]
Grant CEP: GA ČR(CZ) GAP401/10/0792; GA ČR(CZ) GAP401/10/1279
Institucionální podpora: RVO:67985955
Klíčová slova: TIL * hierarchy of types * procedural isomorphism
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0210797 - 3.0355522 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Jespersen, Bjorn
Hyperintensions and procedural isomorphism: Alternative (1/2;).
The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy. London: College Publications. Department of Computer Science, 2010 - (Czarnecki, T.; Kijania-Placek, K.; Poller, O.; Wolenski, J.), s. 299-320. ISBN 978-1-84890-014-1.
[6th European Congress of Analytic Philosophy. Krakow (PL), 21.08.2008-26.08.2008]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: hyperintensions * procedural isomorphism
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0194271