Ústav informatiky AV ČR, v. v. i.

Výsledky projektu EF17_050/0008361


Nalezeno záznamů: 12

0505986 - UIVT-O 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Šk(CZ) EF17_050/0008361; GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04817
Trvalý odkaz: http://hdl.handle.net/11104/0297303

0511512 - UIVT-O 2020 RIV SG eng J - Článek v odborném periodiku
Dellunde, P. - Vidal, Amanda
Truth-Preservation under Fuzzy pp-Formulas.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885
Grant CEP: GA ČR GA17-04630S; GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 1.286, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0301759

0505970 - UIVT-O 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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.05011
Trvalý odkaz: http://hdl.handle.net/11104/0297291

0505971 - UIVT-O 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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04160
Trvalý odkaz: http://hdl.handle.net/11104/0297292

0504825 - UIVT-O 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
Grant CEP: GA MŠk(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
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.667, rok: 2018
Raftery, J.G.
Trvalý odkaz: http://hdl.handle.net/11104/0296384

0503852 - UIVT-O 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
Grant CEP: GA ČR GBP202/12/G061; GA MŠk(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.829, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0295627

0505969 - UIVT-O 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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04159
Trvalý odkaz: http://hdl.handle.net/11104/0297289

0501952 - UIVT-O 2020 GB eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of de Morgan Monoids: Covers of Atoms.
Review of Symbolic Logic. Online First 26 January 2019 (2019). ISSN 1755-0203
Grant CEP: GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: De Morgan monoid * Sugihara monoid * Dunn monoid * residuated lattice * relevance logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0293916

0497034 - UIVT-O 2020 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA MŠk(CZ) EF17_050/0008361; GA ČR GJ15-07724Y
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: De Morgan monoid * Sugihara monoid * Residuated lattice * Relevance logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.797, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0289648

0504824 - UIVT-O 2020 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠk(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0296383

0505159 - UIVT-O 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Substructural propositional dynamic logics.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.), s. 594-604. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. Utrecht (NL), 02.07.2019-05.07.2019]
Grant CEP: GA MŠk(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * Modal logic * Propositional dynamic logic * Relevant logic * Substructural logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Trvalý odkaz: http://hdl.handle.net/11104/0296659

0505985 - UIVT-O 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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1904.01407
Trvalý odkaz: http://hdl.handle.net/11104/0297302