Search results
- 1.0584357 - ÚI 2025 CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-16111S
Institutional support: RVO:67985807
Keywords : Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Permanent Link: https://hdl.handle.net/11104/0352276 - 2.0584277 - ÚJČ 2024 RIV CZ cze J - Journal Article
Mžourková, Hana
Dezolát.
[On the Czech word Dezolát.]
Naše řeč. Roč. 106, č. 5 (2023), s. 314-322. ISSN 0027-8203
Institutional support: RVO:68378092
Keywords : the lexeme dezolát * lexical semantics * lexicography * neologism * pragmatics
OECD category: Linguistics
Method of publishing: Open access
https://asjournals.lib.cas.cz/naserec/article/uuid:da11a903-6cd2-49b8-911d-041d8256b01a
Permanent Link: https://hdl.handle.net/11104/0352366 - 3.0582839 - FLÚ 2024 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11
Permanent Link: https://hdl.handle.net/11104/0351052 - 4.0580737 - ÚI 2025 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : expressivity * Mu-calculus * topological semantics
OECD category: Pure mathematics
Impact factor: 0.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/S0960129523000385
Permanent Link: https://hdl.handle.net/11104/0349498 - 5.0579853 - FLÚ 2024 RIV CZ cze J - Journal Article
Gvoždiak, Vít - Fikejzová, M.
Přehlížení konvencí.
[Overlooking conventions.]
Filosofický časopis. Roč. 71, č. 4 (2023), s. 637-648. ISSN 0015-1831
Institutional support: RVO:67985955
Keywords : semantics – pragmatics distinction * convention * Michael Devitt * polysemy
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: <0.1, year: 2022
Method of publishing: Open access
https://doi.org/10.46854/fc.2023.4r.637
Permanent Link: https://hdl.handle.net/11104/0348763 - 6.0577902 - ÚJČ 2024 RIV CZ cze J - Journal Article
Š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
R&D Projects: GA MK(CZ) DH23P03OVV010
Research Infrastructure: LINDAT/CLARIAH-CZ - 90101
Keywords : phraseology * phrasemes * ethnolinguistics * semantics * dialectology * territorial dialects * oral tradition
OECD category: Linguistics
Method of publishing: Limited access
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
Permanent Link: https://hdl.handle.net/11104/0352108 - 7.0577342 - ÚJČ 2024 CZ cze M - Monography Chapter
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
Institutional support: RVO:68378092
Keywords : Old Czech * etymology * homonymy * semantics * Slavonic languages
OECD category: Linguistics
Permanent Link: https://hdl.handle.net/11104/0346695 - 8.0577264 - HÚ 2024 CZ cze R - Book Review
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
Institutional support: RVO:67985963
Keywords : Autobiography * Historiography * Semantics
OECD category: History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)
Permanent Link: https://hdl.handle.net/11104/0346470 - 9.0575737 - FLÚ 2024 RIV GR eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : fuzzy logic * logic of questions * inquisitive semantics * information states
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Permanent Link: https://hdl.handle.net/11104/0346057 - 10.0574237 - ÚI 2024 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Computer science * Semantics * Extraterrestrial measurements * Behavioral sciences * Proposals * Standards
OECD category: Pure mathematics
https://dx.doi.org/10.1109/LICS56636.2023.10175784
Permanent Link: https://hdl.handle.net/11104/0344576