Výsledky vyhledávání
- 1.0579478 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, s. 1-14. 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]
Institucionální podpora: RVO:67985840
Klíčová slova: computer circuits * equivalence classes * finite model theory
Obor OECD: Pure mathematics
https://doi.org/10.1109/LICS56636.2023.10175751
Trvalý link: https://hdl.handle.net/11104/0348314 - 2.0575500 - ÚI 2025 GB eng J - Článek v odborném periodiku
Moraschini, T. - Wannenburg, Johann Joubert - Yamamoto, Kentarô
Elementary Equivalence in Positive Logic via Prime Products.
Journal of Symbolic Logic. Online 05 July 2023 (2024). ISSN 0022-4812. E-ISSN 1943-5886
Institucionální podpora: RVO:67985807
Klíčová slova: Keisler isomorphism theorem * positive model theory * prime product * positively existentially closed model * h-inductive theory
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1017/jsl.2023.50
Trvalý link: https://hdl.handle.net/11104/0345261 - 3.0573681 - ÚI 2025 GB eng J - Článek v odborném periodiku
Moraschini, T. - Wannenburg, Johann Joubert - Yamamoto, Kentarô
Elementary Equivalence iIn Positive Logic via Prime Products.
Journal of Symbolic Logic. Online 05 July 2023 (2024). ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA MŠMT(CZ) EF18_053/0017594
Institucionální podpora: RVO:67985807
Klíčová slova: Keisler isomorphism theorem * positive model theory * prime product * positively existentially closed model * h-inductive theory
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1017/jsl.2023.50
Trvalý link: https://hdl.handle.net/11104/0344058 - 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.0525284 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Gehrke, M. - Jakl, T. - Reggio, Luca
A Duality Theoretic View on Limits of Finite Structures.
Foundations of Software Science and Computation Structures. Cham: Springer, 2020 - (Goubault-Larrecq, J.; König, B.), s. 299-318. Lecture Notes in Computer Science, 12077. ISBN 978-3-030-45230-8. ISSN 0302-9743.
[FOSSACS 2020: Foundations of Software Science and Computation Structures /23./ Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. Dublin (IE), 25.04.2020-30.04.2020]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Stone duality * finitely additive measures * structural limits * finite model theory * formal languages * logic on words
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0309459Název souboru Staženo Velikost Komentář Verze Přístup 0525284-aoa.pdf 1 382.2 KB OA CC BY 4.0 Vydavatelský postprint povolen - 6.0523260 - MÚ 2020 RIV eng U - Uspořádání akce
Fabian, Marián - Gismatulin, J. - Krupiński, K. - Kubiś, Wieslaw - Kuhlmann, F.-V. - Trlifaj, J.
22nd Colloquiumfest.
[Prague, 06.12.2019-09.12.2019, (W-EUR 40/22)]
Institucionální podpora: RVO:67985840
Klíčová slova: algebra * model theory
Obor OECD: Pure mathematics
http://users.math.cas.cz/kubis/2019/22colloquiumfest/index.html
Trvalý link: http://hdl.handle.net/11104/0307630 - 7.0511512 - ÚI 2020 RIV SG eng J - Článek v odborném periodiku
Dellunde, P. - Vidal, Amanda
Truth-Preservation under Fuzzy pp-Formulas.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Obor OECD: Pure mathematics
Impakt faktor: 1.375, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1142/S0218488519400051
Trvalý link: http://hdl.handle.net/11104/0301759 - 8.0509381 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
Di Liberti, Ivan
Weak saturation and weak amalgamation property.
Journal of Symbolic Logic. Roč. 84, č. 3 (2019), s. 929-936. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR(CZ) GA17-27844S
Institucionální podpora: RVO:67985840
Klíčová slova: Fraisse classes * accessible categories * categorical model theory * weak amalgamation property
Obor OECD: Pure mathematics
Impakt faktor: 0.642, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/jsl.2019.45
Trvalý link: http://hdl.handle.net/11104/0300145Název souboru Staženo Velikost Komentář Verze Přístup DiLiberti.pdf 3 86.4 KB Vydavatelský postprint vyžádat - 9.0504854 - ÚTIA 2020 RIV DE eng J - Článek v odborném periodiku
Badia, G. - Costa, V. - Dellunde, P. - Noguera, Carles
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2177-2186. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR(CZ) GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Graded model theory * Mathematical fuzzy logic * Amalgamation theorems
Obor OECD: Pure mathematics
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Open access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504854.pdf https://link.springer.com/article/10.1007/s00500-019-03850-6
Trvalý link: http://hdl.handle.net/11104/0297072 - 10.0499258 - ÚJF 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Launey, K. D. - Mercenne, A. - Sargsyan, G. H. - Shows, H. - Baker, R. B. - Miora, M. E. - Dytrych, Tomáš - Draayer, J. P.
Emergent clustering phenomena in the framework of the ab initio symmetry-adapted no-core shell model.
AIP Conference Proceedings. Vol. 2038. Melville: AIP Publishing, 2018, č. článku 02004. ISBN 978-0-73541-764-9. ISSN 0094-243X.
[4th International Workshop on State of the Art in Nuclear Cluster Physics (SOTANCP4). Texas (US), 13.05.2018-18.05.2018]
Grant CEP: GA ČR GA16-16772S
Institucionální podpora: RVO:61389005
Klíčová slova: intermediate-mass nuclei * SA-NCSM * no-core shell-model theory
Obor OECD: Atomic, molecular and chemical physics (physics of atoms and molecules including collision, interaction with radiation, magnetic resonances, Mössbauer effect)
Trvalý link: http://hdl.handle.net/11104/0291488