Search results
- 1.0379957 - FLÚ 2013 RIV SK cze B - Monography
Duží, M. - Materna, Pavel
TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou.
[TIL as a Procedural Logic: A Guide of Transparent Intensional Logic for a Curious Reader.]
Bratislava: Aleph, 2012. 414 s. Noema, 7. ISBN 978-80-89491-08-7
R&D Projects: GA ČR(CZ) GAP401/10/0792
Institutional support: RVO:67985955
Keywords : Frege's semantic triangle * intensions * constructions * hyperintensionality
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0210799 - 2.0345416 - FLÚ 2011 RIV DE eng B - Monography
Duží, M. - Jespersen, Bjorn - Materna, Pavel
Procedural Semantics for Hyperintensional Logic.
Berlin: Springer, 2010. 550 s. Logic, Epistemology, and the Unity of Science, 17. ISBN 978-90-481-8811-6
R&D Projects: GA ČR(CZ) GA401/07/0451
Institutional research plan: CEZ:AV0Z90090514
Keywords : Hyperintensional Logic * Knowledge representation * Meaning * TIL
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0186693