Search results
- 1.0523434 - ÚI 2023 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787 - 2.0463644 - MÚ 2017 RIV DE eng J - Journal Article
Jeřábek, Emil
Division by zero.
Archive for Mathematical Logic. Roč. 55, č. 7 (2016), s. 997-1013. ISSN 0933-5846. E-ISSN 1432-0665
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : Robinson arithmetic * diophantine equation * decidabilit
Subject RIV: BA - General Mathematics
Impact factor: 0.394, year: 2016
http://link.springer.com/article/10.1007%2Fs00153-016-0508-5
Permanent Link: http://hdl.handle.net/11104/0262769File Download Size Commentary Version Access Jerabek2.pdf 2 484.9 KB Publisher’s postprint require