Počet záznamů: 1
The Justification of Identity Elimination in Martin-Lof’s Type Theory
- 1.
SYSNO ASEP 0508058 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název The Justification of Identity Elimination in Martin-Lof’s Type Theory Tvůrce(i) Klev, Ansten (FLU-F) ORCID, RID, SAI Zdroj.dok. Topoi: an international review of philosophy. - : Springer - ISSN 0167-7411
Roč. 38, č. 3 (2019), s. 577-590Poč.str. 14 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Justification of logical laws ; Type theory ; Identity Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GJ17-18344Y GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora FLU-F - RVO:67985955 UT WOS 000481853300008 EID SCOPUS 85028749094 DOI 10.1007/s11245-017-9509-1 Anotace On the basis of Martin-Lof’s meaning explanations for his type theory a detailed justification is offered of the rule of identity elimination. Brief discussions are thereafter offered of how the univalence axiom fares with respect to these meaning explanations and of some recent work on identity in type theory by Ladyman and Presnell. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2020 Elektronická adresa https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
Počet záznamů: 1