Search results

Records found: 17  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0339025 zj^"
    1.
    0538234 - ÚI 2022 RIV CH eng J - Journal Article
    Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
    Epimorphisms in Varieties of Subidempotent Rresiduated Structures.
    Algebra Universalis. Roč. 82, č. 1 (2021), č. článku 6. ISSN 0002-5240. E-ISSN 1420-8911
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : Epimorphism * Residuated lattice * Brouwerian algebra * Heyting algebra * De Morgan monoid * Esakia space * Substructural logic * Relevance logic * Beth definability
    OECD category: Pure mathematics
    Impact factor: 0.526, year: 2021
    Method of publishing: Limited access
    http://dx.doi.org/10.1007/s00012-020-00694-2
    Permanent Link: http://hdl.handle.net/11104/0316060
     
     
    2.
    0531245 - ÚI 2021 RIV DE eng J - Journal Article
    Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
    Singly Generated Quasivarieties and Residuated Structures.
    Mathematical Logic Quarterly. Roč. 66, č. 2 (2020), s. 150-172. ISSN 0942-5616. E-ISSN 1521-3870
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : joint embedding property * passive structural completeness * relevance principle * abstract algebraic logic * relevance logic
    OECD category: Pure mathematics
    Impact factor: 0.240, year: 2020
    Method of publishing: Limited access
    http://dx.doi.org/10.1002/malq.201900012
    Permanent Link: http://hdl.handle.net/11104/0309943
     
     
    3.
    0525276 - ÚI 2022 RIV NL eng J - Journal Article
    Rodriguez, R. O. - Vidal, Amanda
    Axiomatization of Crisp Gödel Modal Logic.
    Studia Logica. Roč. 109, č. 2 (2021), s. 367-395. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : Modal many-valued logics * Axiomatic systems * Gödel logic * Modal Gödel logic * Lattice-valued Kripke semantics
    OECD category: Pure mathematics
    Impact factor: 0.833, year: 2021
    Method of publishing: Limited access
    http://dx.doi.org/10.1007/s11225-020-09910-5
    Permanent Link: http://hdl.handle.net/11104/0309456
     
     
    4.
    0522276 - ÚI 2022 RIV NL eng J - Journal Article
    Vidal, Amanda
    On transitive modal many-valued logics.
    Fuzzy Sets and Systems. Roč. 407, 1 March (2021), s. 97-114. ISSN 0165-0114. E-ISSN 1872-6801
    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 : non-classical logics * computability * modal logics
    OECD category: Pure mathematics
    Impact factor: 4.462, year: 2021
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.fss.2020.01.011
    Permanent Link: http://hdl.handle.net/11104/0306795
     
     
    5.
    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
     
     
    6.
    0505127 - ÚI 2020 RIV BE eng J - Journal Article
    Sedlár, Igor - Šebela, K.
    Term Negation in First Order logic.
    Logique et Analyse. Roč. 62, č. 247 (2019), s. 265-284. ISSN 0024-5836
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Grant - others:AV ČR(CZ) JSPS-16-08
    Program: Bilaterální spolupráce
    Institutional support: RVO:67985807
    Keywords : Aristotle * Contraries * Contraposition * Law of Excluded Middle * Negation * Term negation
    OECD category: Pure mathematics
    Method of publishing: Limited access
    http://dx.doi.org/10.2143/LEA.247.0.3287264
    Permanent Link: http://hdl.handle.net/11104/0296650
    FileDownloadSizeCommentaryVersionAccess
    0505127-post.pdf9355.1 KBvolně onlineAuthor’s postprintrequire
     
     
    7.
    0504825 - ÚI 2020 RIV CH eng J - Journal Article
    Moraschini, Tommaso - Raftery, J.G.
    On prevarieties of logic.
    Algebra Universalis. Roč. 80, č. 3 (2019), č. článku 37. ISSN 0002-5240. E-ISSN 1420-8911
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : (pre)variety of logic * algebraizable logic * Maltsev class
    OECD category: Pure mathematics
    Impact factor: 0.404, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1007/s00012-019-0611-7
    Permanent Link: http://hdl.handle.net/11104/0296384
     
     
    8.
    0503853 - ÚI 2021 RIV NL eng J - Journal Article
    Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
    Epimorphisms, Definability and Cardinalities.
    Studia Logica. Roč. 108, č. 2 (2020), s. 255-275. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA ČR GA17-04630S
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : Epimorphism * Prevariety * Quasivariety * Beth definability * Algebraizable logic * Equivalential logic
    OECD category: Pure mathematics
    Impact factor: 0.585, year: 2020
    Method of publishing: Limited access
    http://dx.doi.org/10.1007/s11225-019-09846-5
    Permanent Link: http://hdl.handle.net/11104/0295628
     
     
    9.
    0501952 - ÚI 2021 RIV GB eng J - Journal Article
    Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
    Varieties of de Morgan Monoids: Covers of Atoms.
    Review of Symbolic Logic. Roč. 13, č. 2 (2020), s. 338-374. ISSN 1755-0203. E-ISSN 1755-0211
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : De Morgan monoid * Sugihara monoid * Dunn monoid * residuated lattice * relevance logic
    OECD category: Pure mathematics
    Impact factor: 1.000, year: 2020
    Method of publishing: Limited access
    http://dx.doi.org/10.1017/S1755020318000448
    Permanent Link: http://hdl.handle.net/11104/0293916
     
     
    10.
    0501907 - ÚI 2020 RIV GB eng J - Journal Article
    Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
    An Abstract Approach to Consequence Relations.
    Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 331-371. ISSN 1755-0203. E-ISSN 1755-0211
    R&D Projects: GA ČR GBP202/12/G061
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.750, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1017/S175502031900008X
    Permanent Link: http://hdl.handle.net/11104/0293884
    FileDownloadSizeCommentaryVersionAccess
    0501907-a.pdf15415.5 KBPublisher’s postprintrequire
    0501907-pre2.pdf7608.6 KBAuthor´s preprintopen-access
     
     

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

Accept allSettingsReject all