Výsledky vyhledávání
- 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.0537591 - ÚI 2022 NL eng J - Článek v odborném periodiku
Reggio, Luca
Beth definability and the Stone-Weierstrass theorem.
Annals of Pure and Applied Logic. Roč. 172, č. 8 (2021), č. článku 102990. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA17-04630S
Klíčová slova: Stone-Weierstrass Theorem * Compact Hausdorff spaces * Infinitary varieties * Equational logic * Beth definability * Strong completeness
Impakt faktor: 0.776, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0323004 - 3.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 - 4.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 - 5.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 - 6.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/0274669Název souboru Staženo Velikost Komentář Verze Přístup a0478590.pdf 9 598.3 KB Vydavatelský postprint vyžádat