Search results
- 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.0532809 - ÚI 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
OECD category: Pure mathematics
Impact factor: 0.678, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2020.102824
Permanent Link: http://hdl.handle.net/11104/0311209 - 3.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 - 4.0503853 - ÚI 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Epimorphism * Prevariety * Quasivariety * Beth definability * Algebraizable logic * Equivalential logic
OECD category: Pure mathematics
Impact factor: 0.585, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-019-09846-5
Permanent Link: http://hdl.handle.net/11104/0295628 - 5.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 - 6.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