Počet záznamů: 1
Truthmaker semantics. Fine versus Martin-Löf
- 1.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
Fine's truth maker semantics for intuitionistic logic is here looked at through the lens of Martin-Löf's type theory.
Trvalý link: http://hdl.handle.net/11104/0276285
Počet záznamů: 1