Výsledky vyhledávání

  1. 1.
    0538234 - ÚI 2022 RIV CH eng J - Článek v odborném periodiku
    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
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: Epimorphism * Residuated lattice * Brouwerian algebra * Heyting algebra * De Morgan monoid * Esakia space * Substructural logic * Relevance logic * Beth definability
    Obor OECD: Pure mathematics
    Impakt faktor: 0.526, rok: 2021
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1007/s00012-020-00694-2
    Trvalý link: http://hdl.handle.net/11104/0316060
     
     
  2. 2.
    0532809 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
    Moraschini, Tommaso - Wannenburg, J. J.
    Epimorphism Surjectivity in Varieties of Heyting Algebras.
    Annals of Pure and Applied Logic. Roč. 171, č. 9 (2020), č. článku 102824. ISSN 0168-0072. E-ISSN 1873-2461
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361
    Institucionální podpora: RVO:67985807
    Klíčová slova: Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
    Obor OECD: Pure mathematics
    Impakt faktor: 0.678, rok: 2020
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1016/j.apal.2020.102824
    Trvalý link: http://hdl.handle.net/11104/0311209
     
     
  3. 3.
    0531245 - ÚI 2021 RIV DE eng J - Článek v odborném periodiku
    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
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: joint embedding property * passive structural completeness * relevance principle * abstract algebraic logic * relevance logic
    Obor OECD: Pure mathematics
    Impakt faktor: 0.240, rok: 2020
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1002/malq.201900012
    Trvalý link: http://hdl.handle.net/11104/0309943
     
     
  4. 4.
    0504825 - ÚI 2020 RIV CH eng J - Článek v odborném periodiku
    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
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: (pre)variety of logic * algebraizable logic * Maltsev class
    Obor OECD: Pure mathematics
    Impakt faktor: 0.404, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1007/s00012-019-0611-7
    Trvalý link: http://hdl.handle.net/11104/0296384
     
     
  5. 5.
    0504824 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
    Moraschini, Tommaso
    Varieties of positive modal algebras and structural completeness.
    Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
    Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
    Institucionální podpora: RVO:67985807
    Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
    Obor OECD: Pure mathematics
    Impakt faktor: 0.750, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1017/S1755020319000236
    Trvalý link: http://hdl.handle.net/11104/0296383
     
     
  6. 6.
    0503853 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR GA17-04630S
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: Epimorphism * Prevariety * Quasivariety * Beth definability * Algebraizable logic * Equivalential logic
    Obor OECD: Pure mathematics
    Impakt faktor: 0.585, rok: 2020
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1007/s11225-019-09846-5
    Trvalý link: http://hdl.handle.net/11104/0295628
     
     
  7. 7.
    0503852 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
    Moraschini, Tommaso
    On the complexity of the Leibniz hierarchy.
    Annals of Pure and Applied Logic. Roč. 170, č. 7 (2019), s. 805-824. ISSN 0168-0072. E-ISSN 1873-2461
    Grant CEP: GA ČR GBP202/12/G061; GA MŠMT(CZ) EF17_050/0008361
    Institucionální podpora: RVO:67985807
    Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
    Obor OECD: Pure mathematics
    Impakt faktor: 0.752, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1016/j.apal.2019.02.003
    Trvalý link: http://hdl.handle.net/11104/0295627
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0503852.pdf9450.9 KBVydavatelský postprintvyžádat
     
     
  8. 8.
    0501952 - ÚI 2021 RIV GB eng J - Článek v odborném periodiku
    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
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: De Morgan monoid * Sugihara monoid * Dunn monoid * residuated lattice * relevance logic
    Obor OECD: Pure mathematics
    Impakt faktor: 1.000, rok: 2020
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1017/S1755020318000448
    Trvalý link: http://hdl.handle.net/11104/0293916
     
     
  9. 9.
    0501907 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR GBP202/12/G061
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.750, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1017/S175502031900008X
    Trvalý link: http://hdl.handle.net/11104/0293884
    Název souboruStaženoVelikostKomentářVerzePřístup
    0501907-a.pdf15415.5 KBVydavatelský postprintvyžádat
    0501907-pre2.pdf7608.6 KBAutorský preprintpovolen
     
     
  10. 10.
    0497034 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
    Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
    Varieties of De Morgan Monoids: Minimality and Irreducible Algebras.
    Journal of Pure and Applied Algebra. Roč. 223, č. 7 (2019), s. 2780-2803. ISSN 0022-4049. E-ISSN 1873-1376
    Grant CEP: GA MŠMT(CZ) EF17_050/0008361; GA ČR GJ15-07724Y
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807
    Klíčová slova: De Morgan monoid * Sugihara monoid * Residuated lattice * Relevance logic
    Obor OECD: Pure mathematics
    Impakt faktor: 0.770, rok: 2019
    Způsob publikování: Omezený přístup
    http://dx.doi.org/10.1016/j.jpaa.2018.09.015
    Trvalý link: http://hdl.handle.net/11104/0289648
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.