Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.0536810 - FLÚ 2021 RIV FR fre J - Článek v odborném periodiku
Klev, Ansten
Carnap et les catégories.
[Carnap and the categories.]
Cahiers philosophiques. -, č. 161 (2020), s. 27-40. ISSN 0241-2799
Institucionální podpora: RVO:67985955
Klíčová slova: Carnap * categories * type theory
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.3917/caph1.161.0029
Trvalý link: http://hdl.handle.net/11104/0318405 - 5.0518896 - FLÚ 2021 RIV RO eng J - Článek v odborném periodiku
Klev, Ansten
Symbol and number.
Meta: research in hermeneutics, phenomenology and practical philosophy. Roč. 11, č. 2 (2019), s. 640-658. ISSN 2067-3655
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: philosophy of arithmetic * Husserl * meaningful formalism * calculation * mathematical ontology
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
http://www.metajournal.org//articles_pdf/640-658-klev-meta-2019-no2-rev.pdf
Trvalý link: http://hdl.handle.net/11104/0303907 - 6.0510497 - FLÚ 2020 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: type theory * definitional identity
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.406, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Trvalý link: http://hdl.handle.net/11104/0300973 - 7.0510490 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Klev, Ansten
The harmony of identity.
Journal of Philosophical Logic. Roč. 48, č. 5 (2019), s. 867-884. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: identity * natural deduction * definition
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10992-018-09499-0
Trvalý link: http://hdl.handle.net/11104/0300953 - 8.0508058 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Justification of logical laws * Type theory * Identity
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
Trvalý link: http://hdl.handle.net/11104/0299265 - 9.0497086 - FLÚ 2019 RIV FR eng J - Článek v odborném periodiku
Klev, Ansten
Carnap’s Turn to the Thing Language.
Philosophia Scientiae. Roč. 22, č. 3 (2018), s. 179-198. ISSN 1281-2463
Institucionální podpora: RVO:67985955
Klíčová slova: Rudolf Carnap * unity of science * logical empiricism
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.4000/philosophiascientiae.1615
Trvalý link: http://hdl.handle.net/11104/0289683 - 10.0494429 - FLÚ 2019 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Infinity * Richard Dedekind * Philosophy of Mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0287621