Výsledky vyhledávání
- 1.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 - 2.0572286 - FLÚ 2024 RIV NL eng R - Recenze
Pezlar, Ivo
Nils Kürbis. Proof and Falsity. A Logical Investigation [Review].
[KÜRBIS, N.: Proof and falsity: a logical investigation. First published. Cambridge: Cambridge University Press, 2019. viii, 308 stran. ISBN 978-1-108-48130-4.]. Studia Logica. Springer. Roč. 111, č. 2 (2023), s. 353-356. ISSN 0039-3215. E-ISSN 1572-8730
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: logic * inferentialism * proof-theoretic semantics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11225-022-10002-9
Trvalý link: https://hdl.handle.net/11104/0343157