Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.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 - 6.0504567 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link: http://hdl.handle.net/11104/0296171 - 7.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 - 8.0493112 - FLÚ 2019 RIV GB eng J - Článek v odborném periodiku
Klev, Ansten
Husserl’s Logical Grammar.
History and Philosophy of Logic. Roč. 39, č. 3 (2018), s. 232-269. ISSN 0144-5340. E-ISSN 1464-5149
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Edmund Husserl * logic * categorial grammar
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.359, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0286590