Search results

  1. 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
    FileDownloadSizeCommentaryVersionAccess
    Jakl.pdf01.3 MBPublisher’s postprintrequire
     
     
  2. 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. 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. 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/0309459
    FileDownloadSizeCommentaryVersionAccess
    0525284-aoa.pdf1382.2 KBOA CC BY 4.0Publisher’s postprintopen-access
     
     
  5. 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. 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. 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/0300145
    FileDownloadSizeCommentaryVersionAccess
    DiLiberti.pdf386.4 KBPublisher’s postprintrequire
     
     
  8. 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. 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. 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
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.