Výsledky vyhledávání
- 1.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 - 2.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 - 3.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/0295627Název souboru Staženo Velikost Komentář Verze Přístup a0503852.pdf 9 450.9 KB Vydavatelský postprint vyžádat - 4.0478199 - ÚI 2018 PL eng J - Článek v odborném periodiku
Moraschini, Tommaso
On Everywhere Strongly Logifiable Algebras.
Reports on mathematical logic. Roč. 50 (2015), s. 83-107. ISSN 0137-2904. E-ISSN 0137-2904
Klíčová slova: logics * Abstract algebraic logic * strongly algebraizable logic * primal algebra * everywhere strongly logifiable algebra * tame congruence theory
Impakt faktor: 0.273, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0274485 - 5.0478196 - ÚI 2018 NL eng J - Článek v odborném periodiku
Font, J.M. - Moraschini, Tommaso
M-Sets and the Representation Problem.
Studia Logica. Roč. 103, č. 1 (2015), s. 21-51. ISSN 0039-3215. E-ISSN 1572-8730
Klíčová slova: Abstract algebraic logic * Algebraizable logic * Isomorphism problem * M-set * Structural closure operator * Structural transformer * Modules over complete residuated lattices * Onto-projective objects
Impakt faktor: 0.724, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0274486