Výsledky vyhledávání
- 1.0579461 - ÚI 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Deciding Predicate Logical Theories Of Real-Valued Functions.
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023 - (Leroux, J.; Lombardy, S.; Peleg, D.), č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969.
[MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./. Bordeaux (FR), 28.08.2023-01.09.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: decision procedures * first-order predicate logical theories * real numbers * real-valued functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.MFCS.2023.76
Trvalý link: https://hdl.handle.net/11104/0348265Název souboru Staženo Velikost Komentář Verze Přístup 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Vydavatelský postprint povolen
Vědecká data: ArXiv.org (preprint) - 2.0570019 - ÚJČ 2023 RIV IT cze M - Část monografie knihy
Štícha, František
Co je marné dokazovat a zbytečné říkat. Poznámka ke konkurenci vidů.
[What is futile to prove and useless to say. A note on the competition of the perfective and imperfective aspect.]
Tre lingue, tre cuori. Studi in onore di Francois Esvan. Napoli: UniorPress, 2022 - (Macurová, P.; di Filippo, M.), s. 203-217. ISBN 978-88-6719-240-3
Institucionální podpora: RVO:68378092
Klíčová slova: Czech aspect * verbo-nominal predicate * corpus study
Obor OECD: Linguistics
http://www.fedoabooks.unina.it/index.php/fedoapress/catalog/view/378/411/2046
Trvalý link: https://hdl.handle.net/11104/0341555 - 3.0556098 - ÚTIA 2023 RIV CH eng B - Monografie kniha jako celek
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
Grant CEP: GA ČR(CZ) GA19-04579S
Grant ostatní: Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
Obor OECD: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Trvalý link: http://hdl.handle.net/11104/0330493 - 4.0537229 - ÚTIA 2022 RIV NL eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
Lindström theorems in graded model theory.
Annals of Pure and Applied Logic. Roč. 172, č. 3 (2021), č. článku 102916. ISSN 0168-0072. E-ISSN 1873-2461
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Lindström theorem * Abstract model theory * Many-valued predicate logics
Obor OECD: Applied mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537229.pdf https://www.sciencedirect.com/science/article/pii/S0168007220301408
Trvalý link: http://hdl.handle.net/11104/0314998 - 5.0521643 - SLÚ 2021 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Brankatschk, Katja - Kocková, Jana
Main Slavonic predicates with the root -gnev-. A corpus-based comparison of Russian, Czech, and Sorbian.
Contributions to the 22nd annual scientific conference of the Association of Slavists (Polyslav). Wiesbaden: Harrassowitz Verlag, 2020 - (Gutiérrez Rubio, E.; Kruk, D.; Pálosi, I.; Speed, T.; Týrová, Z.; Vashchenko, D.; Wysocka, A.), s. 36-45. Die Welt der Slaven – Sammelbände/Sborniki, 65. ISBN 978-3-447-11405-9. ISSN 2363-8605.
[Polyslav /22./. Łódź (PL), 10.09.2018-12.09.2018]
Grant CEP: GA ČR GA16-10866S
Institucionální podpora: RVO:68378017
Klíčová slova: corpus * predicate * Czech * Russian * Upper Sorbian * Lower Sorbian
Obor OECD: Specific languages
Trvalý link: http://hdl.handle.net/11104/0309682 - 6.0512111 - ÚI 2020 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Cintula, Petr (ed.) - Weber, Z. (ed.) - Ju, S. (ed.)
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”.
239 s. In: Logic Journal of the IGPL. Oxford University Press. Roč. 27, č. 4 (2019), s. 385-623. ISSN 1367-0751. E-ISSN 1368-9894.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. Guangzhou (CN), 04.12.2017-07.12.2017]
Institucionální podpora: RVO:67985807
Klíčová slova: Non-classical logic * modal logic * predicate logics
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0302318 - 7.0491283 - ÚI 2019 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Study of Truth Predicates in Matrix Semantics.
Review of Symbolic Logic. Roč. 11, č. 4 (2018), s. 780-804. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * truth predicate * equational definability * truth-equational logic * protoalgebraic logic * Leibniz hierarchy * Leibniz operator * implicit definability * matrix semantics * algebraic semantics * propositional logic * protodisjunction * protoconjunction
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0285293 - 8.0476058 - FLÚ 2018 RIV CZ cze J - Článek v odborném periodiku
Koťátko, Petr
Filosofie a literatura. Čtení přes překážky.
[Philosophy and Literature. Reading across Obstacles.]
Filosofický časopis. Roč. 65, č. 3 (2017), s. 341-360. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: subject-predicate distinction * externalism * personal identity * intentional semantics * text-work relation
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0273201 - 9.0473311 - ÚJČ 2017 RIV CZ cze J - Článek v odborném periodiku
Veselý, Luboš
Matka a dítě byly unavené? Poznámka ke shodě přísudku s podmětem.
[Matka a dítě byly unavené? Remark on the Agreement between the Predicate and Subject.]
Český jazyk a literatura. Roč. 66, č. 4 (2016), s. 185-191. ISSN 0009-0786
Institucionální podpora: RVO:68378092
Klíčová slova: agreement between the predicate and subject * Rules of Czech Orthography
Kód oboru RIV: AI - Jazykověda
Trvalý link: http://hdl.handle.net/11104/0270461 - 10.0469168 - ÚTIA 2017 RIV GB eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Logic Journal of the IGPL. Roč. 24, č. 3 (2016), s. 321-345. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985556
Klíčová slova: Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.575, rok: 2016
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf
Trvalý link: http://hdl.handle.net/11104/0269405