0573634 - FLÚ 2024 RIV GB eng R - Book Review
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : homotopy type theory * modal logic * philosophy of mathematics
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1080/01445340.2022.2107383
Permanent Link: https://hdl.handle.net/11104/0344176
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : homotopy type theory * modal logic * philosophy of mathematics
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1080/01445340.2022.2107383
Permanent Link: https://hdl.handle.net/11104/0344176