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.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 - 3.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 - 4.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 - 5.0404839 - UIVT-O 20020209 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Medina, J. - Ojeda-Aciego, M. - Vojtáš, Peter
A Procedural Semantics for Multi-adjoint logic Programming.
Progress in Artificial Intelligence. Knowledge Extraction, multi-agent Systems, Logic Programming and Constraint Solving. Berlin: Springer, 2001 - (Brazdil, P.; Jorge, A.), s. 290-297. Lecture Notes in Artificial Intelligence, 2258. ISBN 3-540-43030-X.
[EPIA 2001. Portuguese Conference on Artificial Intelligence /6./. Porto (PT), 17.12.2001-20.12.2001]
Grant ostatní: VEGA(SK) 1/7557/20
Výzkumný záměr: AV0Z1030915
Klíčová slova: many valued logic programming * procedural semantics * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125069 - 6.0351440 - FLÚ 2011 RIV PL eng J - Článek v odborném periodiku
Duží, M. - Materna, Pavel
Can Concepts be Defined in Terms of Sets?
Logic and Logical Philosophy. Roč. 19, č. 3 (2010), s. 195-242. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GAP401/10/0792
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: procedural semantics * transparent intensional logic * structured meanings
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0191195 - 7.0103276 - UIVT-O 20040017 RIV NL eng J - Článek v odborném periodiku
Krajči, S. - Lencses, R. - Vojtáš, Peter
A Comparison of Fuzzy and Annotated Logic Programming.
[Srovnání fuzzy a anotovaných logických programů.]
Fuzzy Sets and Systems. Roč. 144, - (2004), s. 173-192. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA201/00/1489
Grant ostatní: VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20; VEGA(SK) 1/0385/03
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic programming * generalized annotated programs * declarative and procedural semantics * continuous semantics and computable fixpoint * soundness and completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.734, rok: 2004
Trvalý link: http://hdl.handle.net/11104/0010588