Výsledky vyhledávání
- 1.0584357 - ÚI 2025 CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Kleene Algebra of Weighted Programs With Domain.
Dynamic Logic. New Trends and Applications. Revised Selected Papers. Cham: Springer, 2024 - (Gierasimczuk, N.; Velázquez-Quesada, F.), s. 52-67. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349.
[DaLí 2023. International Workshop /5./. Tbilisi (GE), 15.09.2023-16.09.2023]
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Trvalý link: https://hdl.handle.net/11104/0352276 - 2.0584277 - ÚJČ 2024 RIV CZ cze J - Článek v odborném periodiku
Mžourková, Hana
Dezolát.
[On the Czech word Dezolát.]
Naše řeč. Roč. 106, č. 5 (2023), s. 314-322. ISSN 0027-8203
Institucionální podpora: RVO:68378092
Klíčová slova: the lexeme dezolát * lexical semantics * lexicography * neologism * pragmatics
Obor OECD: Linguistics
Způsob publikování: Open access
https://asjournals.lib.cas.cz/naserec/article/uuid:da11a903-6cd2-49b8-911d-041d8256b01a
Trvalý link: https://hdl.handle.net/11104/0352366 - 3.0582839 - FLÚ 2024 RIV CH eng M - Část monografie knihy
Majer, Ondrej - Punčochář, Vít - Sedlár, Igor
Truth-Maker Semantics for Some Substructural Logics.
Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Cham: Springer, 2023 - (Faroldi, F.; Van De Putte, F.), s. 207-222. Outstanding contributions to logic, 26. ISBN 978-3-031-29414-3
Grant CEP: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11
Trvalý link: https://hdl.handle.net/11104/0351052 - 4.0580737 - ÚI 2025 RIV GB eng J - Článek v odborném periodiku
Fernández-Duque, David - Gougeon, Q.
Fixed point logics and definable topological properties.
Mathematical Structures in Computer Science. Roč. 34, č. 2 (2024), s. 81-97. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985807
Klíčová slova: expressivity * Mu-calculus * topological semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129523000385
Trvalý link: https://hdl.handle.net/11104/0349498 - 5.0579853 - FLÚ 2024 RIV CZ cze J - Článek v odborném periodiku
Gvoždiak, Vít - Fikejzová, M.
Přehlížení konvencí.
[Overlooking conventions.]
Filosofický časopis. Roč. 71, č. 4 (2023), s. 637-648. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: semantics – pragmatics distinction * convention * Michael Devitt * polysemy
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: <0.1, rok: 2022
Způsob publikování: Open access
https://doi.org/10.46854/fc.2023.4r.637
Trvalý link: https://hdl.handle.net/11104/0348763 - 6.0577902 - ÚJČ 2024 RIV CZ cze J - Článek v odborném periodiku
Šimečková, Marta
Chléb v české lidové frazeologii.
[Bread in Czech traditional oral phraseology.]
Folia ethnographica. Roč. 57, č. 1 (2023), s. 25-37. ISSN 0862-1209
Grant CEP: GA MK(CZ) DH23P03OVV010
Výzkumná infrastruktura: LINDAT/CLARIAH-CZ - 90101
Klíčová slova: phraseology * phrasemes * ethnolinguistics * semantics * dialectology * territorial dialects * oral tradition
Obor OECD: Linguistics
Způsob publikování: Omezený přístup
https://www.mzm.cz/e-shop?ai%5Baction%5D=list&ai%5Bcontroller%5D=Catalog&ai%5Bf_catid%5D=22&ai%5Bf_name%5D=Folia-ethnographica
Trvalý link: https://hdl.handle.net/11104/0352108 - 7.0577342 - ÚJČ 2024 CZ cze M - Část monografie knihy
Rejzek, Jiří
Staročeské čilý - polysémie, či homonymie?
[Old Czech čilý - homonymy, or polysemy?]
Inspirace slovy. Dolní Břežany: Scriptorium, 2023 - (Černá, A.; Hejdová, T.; Šimek, Š.; Vajdlová, M.), s. 227-231. ISBN 978-80-7649-051-2
Institucionální podpora: RVO:68378092
Klíčová slova: Old Czech * etymology * homonymy * semantics * Slavonic languages
Obor OECD: Linguistics
Trvalý link: https://hdl.handle.net/11104/0346695 - 8.0577264 - HÚ 2024 CZ cze R - Recenze
Kessler, Vojtěch
[Recenze].
[[Review].]
[SOUKUPOVÁ, K.: Vyprávět sám sebe. Teorie autobiografie. Praha, 2021. 268 s.]. Historie - Otázky - Problémy. Univerzita Karlova v Praze. Roč. 15, č. 1 (2023), s. 101-102. ISSN 1804-1132. E-ISSN 2336-6672
Institucionální podpora: RVO:67985963
Klíčová slova: Autobiography * Historiography * Semantics
Obor OECD: History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)
Trvalý link: https://hdl.handle.net/11104/0346470 - 9.0575737 - FLÚ 2024 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: fuzzy logic * logic of questions * inquisitive semantics * information states
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Trvalý link: https://hdl.handle.net/11104/0346057 - 10.0574237 - ÚI 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fernández-Duque, David - Gougeon, Q.
Fixed Point Logics on Hemimetric Spaces.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, č. článku 190687. ISBN 979-8-3503-3588-0.
[LICS 2023: Annual ACM/IEEE Symposium on Logic in Computer Science /38./. Boston (US), 26.06.2023-29.06.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Computer science * Semantics * Extraterrestrial measurements * Behavioral sciences * Proposals * Standards
Obor OECD: Pure mathematics
https://dx.doi.org/10.1109/LICS56636.2023.10175784
Trvalý link: https://hdl.handle.net/11104/0344576