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.
    0522847 - ÚI 2020 US eng V - Výzkumná zpráva
    Moraschini, Tommaso - Wannenburg, J. J.
    Epimorphism surjectivity in varieties of Heyting algebras.
    Cornell University, 2019. 36 s. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO].
    Institucionální podpora: RVO:67985807
    Klíčová slova: Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
    Obor OECD: Pure mathematics
    https://arxiv.org/abs/1908.00287
    Trvalý link: http://hdl.handle.net/11104/0307269
     
     
  3. 3.
    0478590 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR GA17-04630S
    Institucionální podpora: RVO:67985807
    Klíčová slova: Epimorphism * Brouwerian algebra * Heyting algebra * Esakia space * Residuated lattice * Sugihara monoid * Substructural logic * Intuitionistic logic * Relevance logic * R-mingle * Beth definability
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.675, rok: 2017
    Trvalý link: http://hdl.handle.net/11104/0274669
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0478590.pdf9598.3 KBVydavatelský postprintvyžádat
     
     


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