Search results

  1. 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. 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. 3.
    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
     
     
  4. 4.
    0497034 - ÚI 2020 RIV NL eng J - Journal Article
    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
    R&D Projects: GA MŠMT(CZ) EF17_050/0008361; GA ČR GJ15-07724Y
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : De Morgan monoid * Sugihara monoid * Residuated lattice * Relevance logic
    OECD category: Pure mathematics
    Impact factor: 0.770, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.jpaa.2018.09.015
    Permanent Link: http://hdl.handle.net/11104/0289648
     
     
  5. 5.
    0478590 - ÚI 2018 RIV US eng J - Journal Article
    Bezhanishvili, G. - Moraschini, Tommaso - Raftery, J.G.
    Epimorphisms in Varieties of Residuated Structures.
    Journal of Algebra. Roč. 492, 15 December (2017), s. 185-211. ISSN 0021-8693. E-ISSN 1090-266X
    R&D Projects: GA ČR GA17-04630S
    Institutional support: RVO:67985807
    Keywords : Epimorphism * Brouwerian algebra * Heyting algebra * Esakia space * Residuated lattice * Sugihara monoid * Substructural logic * Intuitionistic logic * Relevance logic * R-mingle * Beth definability
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.675, year: 2017
    Permanent Link: http://hdl.handle.net/11104/0274669
    FileDownloadSizeCommentaryVersionAccess
    a0478590.pdf9598.3 KBPublisher’s postprintrequire
     
     


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