Košík

0573634 - FLÚ 2024 RIV GB eng R - Recenze
Klev, Ansten - Zwanziger, Colin
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy, by D. Corfield [Review].
[CORFIELD, D.: Modal homotopy type theory: the prospect of a new logic for philosophy. First edition. Oxford: Oxford University Press, 2020. x, 180 stran. ISBN 978-0-19-885340-4.]. History and Philosophy of Logic. Taylor & Francis. Roč. 44, č. 3 (2023), s. 337-342. ISSN 0144-5340. E-ISSN 1464-5149
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: homotopy type theory * modal logic * philosophy of mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1080/01445340.2022.2107383
Trvalý link: https://hdl.handle.net/11104/0344176