Number of the records: 1
Transparent Intensional Logic: A Challenge
- 1.0379954 - FLÚ 2013 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GAP401/10/0792; GA ČR(CZ) GAP401/10/1279
Institutional support: RVO:67985955
Keywords : TIL * hierarchy of types * procedural isomorphism
Subject RIV: AA - Philosophy ; Religion
The paper presents a brief survey of history and philosophical background of Transparent Intensional logic (TIL) together with a characteristic of its structure.
Permanent Link: http://hdl.handle.net/11104/0210797
Number of the records: 1