Search results

Records found: 10  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0292719 zj^"
    1.
    0477047 - ÚI 2019 RIV NL eng J - Journal Article
    Moraschini, Tommaso
    A Computational Glimpse at the Leibniz and Frege Hierarchies.
    Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. ISSN 0168-0072. E-ISSN 1873-2461
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Keywords : abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.829, year: 2018
    Permanent Link: http://hdl.handle.net/11104/0273441
    FileDownloadSizeCommentaryVersionAccess
    a0477047.pdf10463.1 KBPublisher’s postprintrequire
     
     
    2.
    0477040 - ÚI 2019 RIV DE eng J - Journal Article
    Cintula, Petr - Noguera, Carles
    Implicational (semilinear) logics III: completeness properties.
    Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
    R&D Projects: GA ČR GA13-14654S
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
    OECD category: Pure mathematics; Pure mathematics (UTIA-B)
    Impact factor: 0.574, year: 2018
    Permanent Link: http://hdl.handle.net/11104/0273436
    FileDownloadSizeCommentaryVersionAccess
    0477040.pdf91.2 MBGSpAuthor’s postprintopen-access
     
     
    3.
    0469168 - ÚTIA 2017 RIV GB eng J - Journal Article
    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
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985556
    Keywords : Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
    Subject RIV: BA - General Mathematics
    Impact factor: 0.575, year: 2016
    http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf
    Permanent Link: http://hdl.handle.net/11104/0269405
     
     
    4.
    0469118 - ÚTIA 2018 RIV NL eng J - Journal Article
    Lávička, Tomáš - Noguera, Carles
    A new hierarchy of infinitary logics in abstract algebraic logic.
    Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA ČR GA13-14654S
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985556 ; RVO:67985807
    Keywords : Abstract algebraic logic * consequence relations * infinitary logics * completeness properties
    OECD category: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
    Impact factor: 0.450, year: 2017
    http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
    Permanent Link: http://hdl.handle.net/11104/0269760
     
     
    5.
    0466816 - ÚI 2022 RIV NL eng J - Journal Article
    Cintula, Petr - Paoli, F.
    Is multiset consequence trivial?
    Synthese. Roč. 199, Suppl. 3 (2021), s. 741-765. ISSN 0039-7857. E-ISSN 1573-0964
    R&D Projects: GA ČR GA13-14654S
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : contraction-free logics * multiset consequence * substructural logics * multiple conclusions
    OECD category: Pure mathematics
    Impact factor: 1.595, year: 2021
    Method of publishing: Limited access
    http://dx.doi.org/10.1007/s11229-016-1209-7
    Permanent Link: http://hdl.handle.net/11104/0265069
    FileDownloadSizeCommentaryVersionAccess
    0466816.pdf23877.6 KBGSpAuthor´s preprintopen-access
     
     
    6.
    0465843 - ÚI 2017 RIV NL eng J - Journal Article
    Moraschini, Tommaso
    The Semantic Isomorphism Theorem in Abstract Algebraic Logic.
    Annals of Pure and Applied Logic. Roč. 167, č. 12 (2016), s. 1298-1331. ISSN 0168-0072. E-ISSN 1873-2461
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Keywords : algebraizable logics * abstract algebraic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice
    Subject RIV: BA - General Mathematics
    Impact factor: 0.647, year: 2016
    Permanent Link: http://hdl.handle.net/11104/0264288
     
     
    7.
    0459809 - ÚI 2017 RIV NL eng J - Journal Article
    Přenosil, Adam
    Constructing Natural Extensions of Propositional Logics.
    Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Keywords : abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
    Subject RIV: BA - General Mathematics
    Impact factor: 0.589, year: 2016
    Permanent Link: http://hdl.handle.net/11104/0259968
     
     
    8.
    0448459 - ÚI 2017 RIV DE eng J - Journal Article
    Cintula, Petr - Noguera, Carles
    Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
    Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
    R&D Projects: GA ČR GA13-14654S
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
    Subject RIV: BA - General Mathematics
    Impact factor: 0.394, year: 2016
    Permanent Link: http://hdl.handle.net/11104/0250156
    FileDownloadSizeCommentaryVersionAccess
    0448459.pdf5888.6 KBAuthor´s preprintrequire
     
     
    9.
    0436388 - ÚI 2016 RIV NL eng J - Journal Article
    Cintula, Petr - Noguera, Carles
    A Note on Natural Extensions in Abstract Algebraic Logic.
    Studia Logica. Roč. 103, č. 4 (2015), s. 815-823. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA ČR(CZ) GA13-14654S
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : abstract algebraic logic * consequence relations * natural extensions * transfer theorems
    Subject RIV: BA - General Mathematics
    Impact factor: 0.724, year: 2015
    Permanent Link: http://hdl.handle.net/11104/0240134
    FileDownloadSizeCommentaryVersionAccess
    0436388.pdf19817.6 KBAuthor´s preprintrequire
     
     
    10.
    0428704 - ÚI 2015 RIV US eng J - Journal Article
    Cintula, Petr - Noguera, Carles
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
    Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812. E-ISSN 1943-5886
    R&D Projects: GA ČR GA13-14654S
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
    Subject RIV: BA - General Mathematics
    Impact factor: 0.510, year: 2015
    Permanent Link: http://hdl.handle.net/11104/0234002
    FileDownloadSizeCommentaryVersionAccess
    0428704.pdf55992 KBAuthor´s preprintopen-access
    a0428704.pdf10379.6 KBUTIA-UI-Hodnocení AV 2020Publisher’s postprintrequire
     
     


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

Accept allSettingsReject all