Výsledky vyhledávání
- 1.0573743 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Piccolomini d’Aragona, Antonio
The proof-theoretic square.
Synthese. Roč. 201, č. 6 (2023), č. článku 219. ISSN 0039-7857. E-ISSN 1573-0964
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: Prawitz * proof-theoretic semantics * justification * validity * inference
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-023-04203-5
Trvalý link: https://hdl.handle.net/11104/0344328 - 2.0573620 - FLÚ 2024 RIV US eng J - Článek v odborném periodiku
Klev, Ansten
Spiritus asper versus lambda. On the nature of functional abstraction.
Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: functional abstraction * type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1215/00294527-10670089
Trvalý link: https://hdl.handle.net/11104/0344218 - 3.0572042 - FLÚ 2024 RIV GB eng J - Článek v odborném periodiku
McCarty, Ch. - Shapiro, S. - Klev, Ansten
The Axiom of Choice is false intuitionistically (in most contexts).
Bulletin of Symbolic Logic. Roč. 29, č. 1 (2023), s. 71-96. ISSN 1079-8986. E-ISSN 1943-5894
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: choice principles * intuitionism * constructivism * extensionality
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2022.22
Trvalý link: https://hdl.handle.net/11104/0343185 - 4.0553397 - FLÚ 2023 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
Identity in Martin-Löf type theory.
Philosophy Compass. Roč. 17, č. 2 (2022), č. článku e12805. E-ISSN 1747-9991
Grant CEP: GA ČR(CZ) GJ17-18344Y
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: normalization * perspective * truth * proof
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1111/phc3.12805
Trvalý link: http://hdl.handle.net/11104/0331574