Výsledky vyhledávání

  1. 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. 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. 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
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.