Search results
- 1.0568686 - FLÚ 2023 RIV GB eng M - Monography Chapter
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : transparent intensional logic * execution construction * trivialization construction * procedural semantics
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Permanent Link: https://hdl.handle.net/11104/0339997 - 2.0562181 - FLÚ 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : notional attitudes * polymorphism * type theory * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s10849-022-09383-w
Permanent Link: https://hdl.handle.net/11104/0343099 - 3.0546956 - FLÚ 2022 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_7
Permanent Link: http://hdl.handle.net/11104/0323337 - 4.0508538 - FLÚ 2020 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0299549 - 5.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 - 6.0488903 - FLÚ 2018 RIV GB eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985955
Keywords : Leibniz * Substitution of identicals * Three kinds of context * Transparent Intensional Logic
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0283421 - 7.0485120 - FLÚ 2018 CZ cze R - Book Review
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
Institutional support: RVO:67985955
Keywords : theory of concepts * transparent intensional logic * constructions
OECD category: Philosophy, History and Philosophy of science and technology
http://teorievedy.flu.cas.cz/index.php/tv/article/view/395
Permanent Link: http://hdl.handle.net/11104/0280205 - 8.0477039 - FLÚ 2018 RIV SK cze J - Journal Article
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
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : bare individuals * logical individuals * possible worlds * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0273437File Download Size Commentary Version Access 2017_J_0477039.pdf 1 324 KB Publisher’s postprint open-access - 9.0474289 - FLÚ 2018 RIV CZ cze J - Journal Article
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
Institutional support: RVO:67985955
Keywords : function * construction * set * Transparent Intensional Logic
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0281157File Download Size Commentary Version Access 2017_J_0474289.pdf 1 569.3 KB Publisher’s postprint open-access - 10.0466494 - FLÚ 2017 RIV SK eng J - Journal Article
Svoboda, Vladimír
Delta-TIL and Problems of Deontic Logic.
Organon F. Roč. 23, č. 4 (2016), s. 539-550. ISSN 1335-0668
R&D Projects: GA ČR GA13-20785S
Institutional support: RVO:67985955
Keywords : deontic logic * transparent intensional logic * norms * imperatives
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0264776File Download Size Commentary Version Access 2016_J_0466494.pdf 2 390.7 KB Publisher’s postprint open-access