Search results
- 1.0559061 - ÚI 2023 RIV US eng J - Journal Article
Gispert, J. - Haniková, Zuzana - Moraschini, T. - Stronkowski, Michał
Structural Completeness in Many-Valued Logics with Rational Constants.
Notre Dame Journal of Formal Logic. Roč. 63, č. 3 (2022), s. 261-299. ISSN 0029-4527. E-ISSN 1939-0726
R&D Projects: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1215/00294527-2022-0021
Permanent Link: https://hdl.handle.net/11104/0332481 - 2.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 - 3.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 - 4.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 - 5.0525276 - ÚI 2022 RIV NL eng J - Journal Article
Rodriguez, R. O. - Vidal, Amanda
Axiomatization of Crisp Gödel Modal Logic.
Studia Logica. Roč. 109, č. 2 (2021), s. 367-395. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Modal many-valued logics * Axiomatic systems * Gödel logic * Modal Gödel logic * Lattice-valued Kripke semantics
OECD category: Pure mathematics
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-020-09910-5
Permanent Link: http://hdl.handle.net/11104/0309456 - 6.0522276 - ÚI 2022 RIV NL eng J - Journal Article
Vidal, Amanda
On transitive modal many-valued logics.
Fuzzy Sets and Systems. Roč. 407, 1 March (2021), s. 97-114. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : non-classical logics * computability * modal logics
OECD category: Pure mathematics
Impact factor: 4.462, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.fss.2020.01.011
Permanent Link: http://hdl.handle.net/11104/0306795 - 7.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. Roč. 401, 15 December 2020 (2020), s. 163-188. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : many-valued logic * graded preference * modal logic * vague information modeling
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.343, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.fss.2020.01.002
Permanent Link: http://hdl.handle.net/11104/0306692 - 8.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. E-ISSN 1793-6411
R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
EU Projects: 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
OECD category: Pure mathematics
Impact factor: 1.375, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1142/S0218488519400051
Permanent Link: http://hdl.handle.net/11104/0301759 - 9.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. 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 : (pre)variety of logic * algebraizable logic * Maltsev class
OECD category: Pure mathematics
Impact factor: 0.404, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00012-019-0611-7
Permanent Link: http://hdl.handle.net/11104/0296384 - 10.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. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠMT(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
OECD category: Pure mathematics
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020319000236
Permanent Link: http://hdl.handle.net/11104/0296383