Výsledky vyhledávání
- 1.0568686 - FLÚ 2023 RIV GB eng M - Část monografie knihy
Pezlar, Ivo
Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022 - (Materna, P.; Jespersen, B.), s. 187-202. Tributes, 49. ISBN 978-1-84890-419-4
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: transparent intensional logic * execution construction * trivialization construction * procedural semantics
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Trvalý link: https://hdl.handle.net/11104/0339997 - 2.0562181 - FLÚ 2024 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
Type Polymorphism, Natural Language Semantics, and TIL.
Journal of Logic, Language, and Information. Roč. 32, č. 2 (2023), s. 275-295. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: notional attitudes * polymorphism * type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10849-022-09383-w
Trvalý link: https://hdl.handle.net/11104/0343099 - 3.0546956 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Meaning and Computing: Two Approaches to Computable Propositions.
Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 100-116. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
[WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_7
Trvalý link: http://hdl.handle.net/11104/0323337 - 4.0508538 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0299549 - 5.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 - 6.0488903 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Validity and Applicability of Leibniz's Law of Substitution of Identicals.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 17-35. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institucionální podpora: RVO:67985955
Klíčová slova: Leibniz * Substitution of identicals * Three kinds of context * Transparent Intensional Logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0283421 - 7.0485120 - FLÚ 2018 CZ cze R - Recenze
Pezlar, Ivo
Prolegomena k některým příštím teoriím pojmu [Recenze].
[Prolegomena to Some of the Future Theories of Concept [Review].]
[MATERNA, P.: Hovory o pojmu. Praha: Academia, 2016. 158 stran. Společnost; sv. 14. ISBN 978-80-200-2536-4]. Teorie vědy. Filosofický ústav AV ČR, v. v. i. Roč. 39, č. 1 (2017), s. 134-138. ISSN 1210-0250. E-ISSN 1804-6347
Institucionální podpora: RVO:67985955
Klíčová slova: theory of concepts * transparent intensional logic * constructions
Obor OECD: Philosophy, History and Philosophy of science and technology
http://teorievedy.flu.cas.cz/index.php/tv/article/view/395
Trvalý link: http://hdl.handle.net/11104/0280205 - 8.0477039 - FLÚ 2018 RIV SK cze J - Článek v odborném periodiku
Svoboda, Vladimír
Fyzické objekty a individua v limbu.
[Physical objects and individuals in limbo.]
Organon F. Roč. 24, Suppl. 1 (2017), s. 109-122. ISSN 1335-0668
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: bare individuals * logical individuals * possible worlds * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0273437Název souboru Staženo Velikost Komentář Verze Přístup 2017_J_0477039.pdf 1 324 KB Vydavatelský postprint povolen - 9.0474289 - FLÚ 2018 RIV CZ cze J - Článek v odborném periodiku
Duží, M. - Materna, Pavel
Několik poznámek k Peregrinovu hodnocení TIL.
[Some notes to Peregrine's evaluation of TIL.]
Filosofický časopis. Roč. 65, č. 1 (2017), s. 113-116. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: function * construction * set * Transparent Intensional Logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0281157Název souboru Staženo Velikost Komentář Verze Přístup 2017_J_0474289.pdf 1 569.3 KB Vydavatelský postprint povolen - 10.0466494 - FLÚ 2017 RIV SK eng J - Článek v odborném periodiku
Svoboda, Vladimír
Delta-TIL and Problems of Deontic Logic.
Organon F. Roč. 23, č. 4 (2016), s. 539-550. ISSN 1335-0668
Grant CEP: GA ČR GA13-20785S
Institucionální podpora: RVO:67985955
Klíčová slova: deontic logic * transparent intensional logic * norms * imperatives
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0264776Název souboru Staženo Velikost Komentář Verze Přístup 2016_J_0466494.pdf 2 390.7 KB Vydavatelský postprint povolen