Institute of Computer Science of the CAS, v. v. i.

Project results EF17_050/0008361

Records found: 14

0505986 - ÚI 2020 US eng V - Research Report
Dellunde, P. - Vidal, Amanda
Truth-preservation under fuzzy pp-formulas.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04817 [math.LO].
R&D Projects: GA MŠk(CZ) EF17_050/0008361; GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04817
Permanent link: http://hdl.handle.net/11104/0297303

0511512 - ÚI 2020 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S; GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Keywords: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 1.286, year: 2018
http://dx.doi.org/10.1142/S0218488519400051
Permanent link: http://hdl.handle.net/11104/0301759

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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.05011
Permanent link: http://hdl.handle.net/11104/0297291

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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04160
Permanent link: http://hdl.handle.net/11104/0297292

0504825 - ÚI 2020 RIV CH eng J - Journal Article
Moraschini, Tommaso - Raftery, J.G.
On prevarieties of logic.
Algebra Universalis. Roč. 80, č. 3 (2019), č. článku 37. ISSN 0002-5240
R&D Projects: GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Keywords: (pre)variety of logic * algebraizable logic * Maltsev class
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 0.667, year: 2018
http://dx.doi.org/10.1007/s00012-019-0611-7
Raftery, J.G.
Permanent link: http://hdl.handle.net/11104/0296384

0503852 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061; GA MŠk(CZ) EF17_050/0008361
Institutional Support: RVO:67985807
Keywords: Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 0.829, year: 2018
http://dx.doi.org/10.1016/j.apal.2019.02.003
Permanent link: http://hdl.handle.net/11104/0295627

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Šk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04159
Permanent link: http://hdl.handle.net/11104/0297289

0501952 - ÚI 2021 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. Online First 26 January 2019 (2019). ISSN 1755-0203
R&D Projects: GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Keywords: De Morgan monoid * Sugihara monoid * Dunn monoid * residuated lattice * relevance logic
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 0.731, year: 2018
Permanent link: http://hdl.handle.net/11104/0293916

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
R&D Projects: GA MŠk(CZ) EF17_050/0008361; GA ČR GJ15-07724Y
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Keywords: De Morgan monoid * Sugihara monoid * Residuated lattice * Relevance logic
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 0.797, year: 2018
http://dx.doi.org/10.1016/j.jpaa.2018.09.015
Permanent link: http://hdl.handle.net/11104/0289648

0504824 - ÚI 2020 RIV GB eng J - Journal Article
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠk(CZ) EF17_050/0008361
Institutional Support: RVO:67985807
Keywords: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 0.731, year: 2018
http://dx.doi.org/10.1017/S1755020319000236
Permanent link: http://hdl.handle.net/11104/0296383

0505159 - ÚI 2020 RIV DE eng C - Proceedings Paper (International conf.)
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]
R&D Projects: GA MŠk(CZ) EF17_050/0008361
Institutional Support: RVO:67985807
Keywords: Lambek calculus * Modal logic * Propositional dynamic logic * Relevant logic * Substructural logic
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Permanent link: http://hdl.handle.net/11104/0296659

0522192 - ÚI 2021 RIV NL eng J - Journal Article
Vidal, Amanda - Esteva, F. - Godo, L.
Axiomatizing logics of fuzzy preferences using graded modalities.
Fuzzy Sets and Systems. Online 21 January 2020 (2020). ISSN 0165-0114
R&D Projects: GA MŠk(CZ) EF17_050/0008361
Institutional Support: RVO:67985807
Keywords: many-valued logic * graded preference * modal logic * vague information modeling
Subject RIV: BD - Theory of Information
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.907, year: 2018
Permanent link: http://hdl.handle.net/11104/0306692

0505985 - ÚI 2020 US eng V - Research Report
Vidal, Amanda
On Transitive modal many-valued logics.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1904.01407 [cs.LO].
R&D Projects: GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://arxiv.org/abs/1904.01407
Permanent link: http://hdl.handle.net/11104/0297302

0522276 - ÚI 2021 RIV NL eng J - Journal Article
Vidal, Amanda
On transitive modal many-valued logics.
Fuzzy Sets and Systems. Online 24 January 2020 (2020). ISSN 0165-0114
R&D Projects: GA ČR GA17-04630S; GA MŠk(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institutional Support: RVO:67985807
Keywords: non-classical logics * computability * modal logics
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
Impact factor: 2.907, year: 2018
Permanent link: http://hdl.handle.net/11104/0306795