Search results
- 1.0573743 - FLÚ 2024 RIV DE eng J - Journal Article
Piccolomini d’Aragona, Antonio
The proof-theoretic square.
Synthese. Roč. 201, č. 6 (2023), č. článku 219. ISSN 0039-7857. E-ISSN 1573-0964
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : Prawitz * proof-theoretic semantics * justification * validity * inference
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s11229-023-04203-5
Permanent Link: https://hdl.handle.net/11104/0344328 - 2.0573620 - FLÚ 2024 RIV US eng J - Journal Article
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : functional abstraction * type theory * Gottlob Frege
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1215/00294527-10670089
Permanent Link: https://hdl.handle.net/11104/0344218 - 3.0572042 - FLÚ 2024 RIV GB eng J - Journal Article
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : choice principles * intuitionism * constructivism * extensionality
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://doi.org/10.1017/bsl.2022.22
Permanent Link: https://hdl.handle.net/11104/0343185 - 4.0553397 - FLÚ 2023 RIV GB eng J - Journal Article
Klev, Ansten
Identity in Martin-Löf type theory.
Philosophy Compass. Roč. 17, č. 2 (2022), č. článku e12805. E-ISSN 1747-9991
R&D Projects: GA ČR(CZ) GJ17-18344Y
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : normalization * perspective * truth * proof
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1111/phc3.12805
Permanent Link: http://hdl.handle.net/11104/0331574