Výsledky vyhledávání
- 1.0508816 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
The Name of the Sinus Function.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 149-159. 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: Functions * Mathematical notation * Type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0299626 - 2.0493122 - FLÚ 2019 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
The Logical Form of Identity Criteria.
The logica yearbook 2017. London: College Publications, 2018 - (Arazim, P.; Lávička, T.), s. 181-195. ISBN 978-1-84890-281-7.
[Logica 2017. Hejnice (CZ), 19.06.2017-23.06.2017]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Criteria of identity * Logical form * Neo-Logicism * Type theory
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0290853 - 3.0480515 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
Truthmaker semantics. Fine versus Martin-Löf.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 87-108. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institucionální podpora: RVO:67985955
Klíčová slova: truthmaker semantics * intuitionistic logic * type theory
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0276285