Výsledky vyhledávání
- 1.0505986 - ÚI 2020 US eng V - Výzkumná zpráva
Dellunde, P. - Vidal, Amanda
Truth-preservation under fuzzy pp-formulas.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04817 [math.LO].
Grant CEP: GA MŠMT(CZ) EF17_050/0008361; GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04817
Trvalý link: http://hdl.handle.net/11104/0297303 - 2.0505985 - ÚI 2020 US eng V - Výzkumná zpráva
Vidal, Amanda
On Transitive modal many-valued logics.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1904.01407 [cs.LO].
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1904.01407
Trvalý link: http://hdl.handle.net/11104/0297302 - 3.0505971 - ÚI 2020 US eng V - Výzkumná zpráva
Moraschini, Tommaso - Raftery, J.G.
On prevarieties of logic.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04160 [math.LO].
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04160
Trvalý link: http://hdl.handle.net/11104/0297292 - 4.0505970 - ÚI 2020 US eng V - Výzkumná zpráva
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].
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.05011
Trvalý link: http://hdl.handle.net/11104/0297291Název souboru Staženo Velikost Komentář Verze Přístup 0505970-pre.pdf 0 331.9 KB arXiv Autorský preprint povolen - 5.0505969 - ÚI 2020 US eng V - Výzkumná zpráva
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].
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04159
Trvalý link: http://hdl.handle.net/11104/0297289