On the completeness and the decidability of strictly monadic second‐order logic

Autor:	Ryo Kashima, Kento Takagi
Rok vydání:	2020
Předmět:	Monadic second-order logic Logic Completeness (order theory) Calculus Mathematics Decidability
Zdroj:	Mathematical Logic Quarterly. 66:438-447
ISSN:	1521-3870 0942-5616
DOI:	10.1002/malq.201900046
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdaff5c5cfbff0d5f8b654cd79a20173 https://doi.org/10.1002/malq.201900046 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.