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.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 - 3.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 - 4.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 - 5.0404839 - UIVT-O 20020209 RIV DE eng C - Conference Paper (international conference)
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 - others:VEGA(SK) 1/7557/20
Institutional research plan: AV0Z1030915
Keywords : many valued logic programming * procedural semantics * completeness theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125069 - 6.0351440 - FLÚ 2011 RIV PL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GAP401/10/0792
Institutional research plan: CEZ:AV0Z90090514
Keywords : procedural semantics * transparent intensional logic * structured meanings
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0191195 - 7.0103276 - UIVT-O 20040017 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GA201/00/1489
Grant - others:VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20; VEGA(SK) 1/0385/03
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic programming * generalized annotated programs * declarative and procedural semantics * continuous semantics and computable fixpoint * soundness and completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.734, year: 2004
Permanent Link: http://hdl.handle.net/11104/0010588