Search results
- 1.0522847 - ÚI 2020 US eng V - Research Report
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].
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
OECD category: Pure mathematics
https://arxiv.org/abs/1908.00287
Permanent Link: http://hdl.handle.net/11104/0307269 - 2.0505971 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G.
On prevarieties of logic.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04160 [math.LO].
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1902.04160
Permanent Link: http://hdl.handle.net/11104/0297292 - 3.0505970 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms in varieties of square-increasing residuated structures.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.05011 [math.LO].
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1902.05011
Permanent Link: http://hdl.handle.net/11104/0297291File Download Size Commentary Version Access 0505970-pre.pdf 0 331.9 KB arXiv Author´s preprint open-access - 4.0505969 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Singly generated quasivarieties and residuated structures.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04159 [math.LO].
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1902.04159
Permanent Link: http://hdl.handle.net/11104/0297289 - 5.0504986 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms, definability and cardinalities.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1801.06647 [math.LO].
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1801.06647
Permanent Link: http://hdl.handle.net/11104/0296516 - 6.0504985 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of De Morgan monoids: minimality and irreducible algebras.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1801.06650 [math.LO].
R&D Projects: GA ČR GJ15-07724Y
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1801.06650
Permanent Link: http://hdl.handle.net/11104/0296517 - 7.0504983 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of De Morgan monoids: covers of atoms.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1801.06654 [math.LO].
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1801.06654
Permanent Link: http://hdl.handle.net/11104/0296515 - 8.0504982 - ÚI 2020 US eng V - Research Report
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logic of left variable inclusion and Plonka sums of matrices.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1804.08897 [math.LO].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1804.08897
Permanent Link: http://hdl.handle.net/11104/0296514