Zobrazeno 1 - 9
of 9
pro vyhledávání: '"theory of concatenation"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of concatenation, FC is built around word equations; in contrast to it, its
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac73a37c45cf14dfd148bd6997a469a4
https://hal.inria.fr/hal-03104159
https://hal.inria.fr/hal-03104159
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yoshihiro Horihata
Publikováno v:
Notre Dame J. Formal Logic 53, no. 2 (2012), 203-222
We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6dc70c80f10a10bb5991bfa97fe217
https://doi.org/10.1215/00294527-1715698
https://doi.org/10.1215/00294527-1715698
Publikováno v:
Logic Group Preprint Series, 258
We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory val
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6d62e75a039c2c9bb87fcbf6b5addae
https://dspace.library.uu.nl/handle/1874/26718
https://dspace.library.uu.nl/handle/1874/26718
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.