Search results
- 1.0579478 - MÚ 2024 RIV US eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985840
Keywords : computer circuits * equivalence classes * finite model theory
OECD category: Pure mathematics
https://doi.org/10.1109/LICS56636.2023.10175751
Permanent Link: https://hdl.handle.net/11104/0348314 - 2.0575500 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF18_053/0017594
Institutional support: RVO:67985807
Keywords : Keisler isomorphism theorem * positive model theory * prime product * positively existentially closed model * h-inductive theory
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1017/jsl.2023.50
Permanent Link: https://hdl.handle.net/11104/0345261 - 3.0537229 - ÚTIA 2022 RIV NL eng J - Journal Article
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
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * Lindström theorem * Abstract model theory * Many-valued predicate logics
OECD category: Applied mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537229.pdf https://www.sciencedirect.com/science/article/pii/S0168007220301408
Permanent Link: http://hdl.handle.net/11104/0314998 - 4.0525284 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : Stone duality * finitely additive measures * structural limits * finite model theory * formal languages * logic on words
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0309459File Download Size Commentary Version Access 0525284-aoa.pdf 1 382.2 KB OA CC BY 4.0 Publisher’s postprint open-access - 5.0523260 - MÚ 2020 RIV eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985840
Keywords : algebra * model theory
OECD category: Pure mathematics
http://users.math.cas.cz/kubis/2019/22colloquiumfest/index.html
Permanent Link: http://hdl.handle.net/11104/0307630 - 6.0511512 - ÚI 2020 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
OECD category: Pure mathematics
Impact factor: 1.375, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1142/S0218488519400051
Permanent Link: http://hdl.handle.net/11104/0301759 - 7.0509381 - MÚ 2020 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA17-27844S
Institutional support: RVO:67985840
Keywords : Fraisse classes * accessible categories * categorical model theory * weak amalgamation property
OECD category: Pure mathematics
Impact factor: 0.642, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/jsl.2019.45
Permanent Link: http://hdl.handle.net/11104/0300145File Download Size Commentary Version Access DiLiberti.pdf 3 86.4 KB Publisher’s postprint require - 8.0504854 - ÚTIA 2020 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA17-04630S
Institutional support: RVO:67985556
Keywords : Graded model theory * Mathematical fuzzy logic * Amalgamation theorems
OECD category: Pure mathematics
Impact factor: 3.050, year: 2019
Method of publishing: Open access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504854.pdf https://link.springer.com/article/10.1007/s00500-019-03850-6
Permanent Link: http://hdl.handle.net/11104/0297072 - 9.0499258 - ÚJF 2019 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA16-16772S
Institutional support: RVO:61389005
Keywords : intermediate-mass nuclei * SA-NCSM * no-core shell-model theory
OECD category: Atomic, molecular and chemical physics (physics of atoms and molecules including collision, interaction with radiation, magnetic resonances, Mössbauer effect)
Permanent Link: http://hdl.handle.net/11104/0291488 - 10.0494399 - FLÚ 2019 CZ eng D - Thesis
Arazim, Pavel
Logical Pluralism from Historical Perspective.
Katedra logiky FF UK. Defended: Celetná 20, Praha 1. 04.06.2018. - Praha: Katedra logiky FF UK, 2018. 185 s.
Institutional support: RVO:67985955
Keywords : logical pluralism * Kant's epistemology * demarcation of logic * model-theory * proof-theory * inferentialism * logical expressivism * logical dynamism
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0288424