Search results
- 1.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 - 2.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 - 3.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 - 4.0536810 - FLÚ 2021 RIV FR fre J - Journal Article
Klev, Ansten
Carnap et les catégories.
[Carnap and the categories.]
Cahiers philosophiques. -, č. 161 (2020), s. 27-40. ISSN 0241-2799
Institutional support: RVO:67985955
Keywords : Carnap * categories * type theory
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.3917/caph1.161.0029
Permanent Link: http://hdl.handle.net/11104/0318405 - 5.0518896 - FLÚ 2021 RIV RO eng J - Journal Article
Klev, Ansten
Symbol and number.
Meta: research in hermeneutics, phenomenology and practical philosophy. Roč. 11, č. 2 (2019), s. 640-658. ISSN 2067-3655
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : philosophy of arithmetic * Husserl * meaningful formalism * calculation * mathematical ontology
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
http://www.metajournal.org//articles_pdf/640-658-klev-meta-2019-no2-rev.pdf
Permanent Link: http://hdl.handle.net/11104/0303907 - 6.0510497 - FLÚ 2020 RIV US eng J - Journal Article
Klev, Ansten
Eta-rules in Martin-Löf type theory.
Bulletin of Symbolic Logic. Roč. 25, č. 3 (2019), s. 333-359. ISSN 1079-8986. E-ISSN 1943-5894
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : type theory * definitional identity
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.406, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Permanent Link: http://hdl.handle.net/11104/0300973 - 7.0510490 - FLÚ 2020 RIV NL eng J - Journal Article
Klev, Ansten
The harmony of identity.
Journal of Philosophical Logic. Roč. 48, č. 5 (2019), s. 867-884. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : identity * natural deduction * definition
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs10992-018-09499-0
Permanent Link: http://hdl.handle.net/11104/0300953 - 8.0508058 - FLÚ 2020 RIV NL eng J - Journal Article
Klev, Ansten
The Justification of Identity Elimination in Martin-Lof’s Type Theory.
Topoi: an international review of philosophy. Roč. 38, č. 3 (2019), s. 577-590. ISSN 0167-7411
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Justification of logical laws * Type theory * Identity
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
Permanent Link: http://hdl.handle.net/11104/0299265 - 9.0497086 - FLÚ 2019 RIV FR eng J - Journal Article
Klev, Ansten
Carnap’s Turn to the Thing Language.
Philosophia Scientiae. Roč. 22, č. 3 (2018), s. 179-198. ISSN 1281-2463
Institutional support: RVO:67985955
Keywords : Rudolf Carnap * unity of science * logical empiricism
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.4000/philosophiascientiae.1615
Permanent Link: http://hdl.handle.net/11104/0289683 - 10.0494429 - FLÚ 2019 RIV US eng J - Journal Article
Klev, Ansten
A road map of Dedekind’s Theorem 66.
HOPOS: The Journal of the International Society for the History of Philosophy of Science. Roč. 8, č. 2 (2018), s. 214-277. ISSN 2152-5188
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Infinity * Richard Dedekind * Philosophy of Mathematics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0287621