Výsledky vyhledávání
- 1.0523434 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Badia, G. - Cintula, Petr - Hájek, Petr - Tedder, Andrew
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
Review of Symbolic Logic. Roč. 15, č. 2 (2022), s. 487-504. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: undecidability * substructural logic * Robinson arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502032000012X
Trvalý link: http://hdl.handle.net/11104/0307787 - 2.0504854 - ÚTIA 2020 RIV DE eng J - Článek v odborném periodiku
Badia, G. - Costa, V. - Dellunde, P. - Noguera, Carles
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2177-2186. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR(CZ) GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Graded model theory * Mathematical fuzzy logic * Amalgamation theorems
Obor OECD: Pure mathematics
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Open access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504854.pdf https://link.springer.com/article/10.1007/s00500-019-03850-6
Trvalý link: http://hdl.handle.net/11104/0297072 - 3.0504135 - ÚI 2020 US eng J - Článek v odborném periodiku
Tedder, Andrew - Badia, G.
Currying Omnipotence: A Reply to Beall and Cotnoir.
THOUGHT - A Journal of Philosophy. Roč. 7, č. 2 (2018), s. 119-121. ISSN 2161-2234
Klíčová slova: Logic * Curry's paradox * Omnipotence * Stone problem * Theological paradoxes
Trvalý link: http://hdl.handle.net/11104/0295834 - 4.0504133 - ÚI 2020 DE eng J - Článek v odborném periodiku
Badia, G. - Tedder, Andrew
On elimination of quantifiers in some non-classical mathematical theories.
Mathematical Logic Quarterly. Roč. 64, č. 3 (2018), s. 140-154. ISSN 0942-5616. E-ISSN 1521-3870
Klíčová slova: inconsistent models * arithmetics * logic
Impakt faktor: 0.327, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0295833 - 5.0490791 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
Fraisse classes of graded relational structures.
Theoretical Computer Science. Roč. 737, č. 1 (2018), s. 81-90. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Fuzzy structure * Fraïssé limit * Fuzzy order * Weighted graphs * Graded model theory
Obor OECD: Applied mathematics
Impakt faktor: 0.718, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0490791.pdf
Trvalý link: http://hdl.handle.net/11104/0285274