Počet záznamů: 1
Transparent Intensional Logic: A Challenge
- 1.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í
The paper presents a brief survey of history and philosophical background of Transparent Intensional logic (TIL) together with a characteristic of its structure.
Trvalý link: http://hdl.handle.net/11104/0210797
Počet záznamů: 1