Search results
- 1.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 - 2.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 - 3.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 - 4.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 - 5.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 - 6.0504567 - FLÚ 2020 RIV NL eng J - Journal Article
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Permanent Link: http://hdl.handle.net/11104/0296171 - 7.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 - 8.0493112 - FLÚ 2019 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Edmund Husserl * logic * categorial grammar
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.359, year: 2018
Permanent Link: http://hdl.handle.net/11104/0286590