Number of the records: 1
Truthmaker semantics. Fine versus Martin-Löf
- 1.0480515 - FLÚ 2018 RIV GB eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985955
Keywords : truthmaker semantics * intuitionistic logic * type theory
OECD category: 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.
Permanent Link: http://hdl.handle.net/11104/0276285
Number of the records: 1