Complexity of the problem of ∀-representation for sentences Краткое сообщение
| Журнал |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2023, Том: 62, Номер: 4, Страницы: 372-375 Страниц : 4 DOI: 10.1007/s10469-024-09751-4 | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Российский научный фонд | 23-11-00170 |
Реферат:
We calculate the complexity of the existence problem of a ∀-sentence (exists-sentence) which is equivalent to a given sentence. We prove that for a signature consisting only of unary predicate symbols both of these problems are computable. If a signature contains at least two unary function symbols, we establish that each of these problems is an m-complete Sigma^0_1-set.
Библиографическая ссылка:
Kogabaev N.T.
Complexity of the problem of ∀-representation for sentences
Algebra and Logic. 2023. V.62. N4. P.372-375. DOI: 10.1007/s10469-024-09751-4 WOS Scopus РИНЦ OpenAlex
Complexity of the problem of ∀-representation for sentences
Algebra and Logic. 2023. V.62. N4. P.372-375. DOI: 10.1007/s10469-024-09751-4 WOS Scopus РИНЦ OpenAlex
Оригинальная:
Когабаев Н.Т.
О сложности проблемы ∀-представимости предложений
Алгебра и логика. 2023. Т.62. №4. С.552-557. DOI: 10.33048/alglog.2023.62.406 РИНЦ MathNet
О сложности проблемы ∀-представимости предложений
Алгебра и логика. 2023. Т.62. №4. С.552-557. DOI: 10.33048/alglog.2023.62.406 РИНЦ MathNet
Даты:
| Поступила в редакцию: | 22 мар. 2024 г. |
| Опубликована в печати: | 27 апр. 2024 г. |
| Принята к публикации: | 19 июл. 2024 г. |
| Опубликована online: | 27 июл. 2024 г. |
Идентификаторы БД:
| Web of science: | WOS:001279118700001 |
| Scopus: | 2-s2.0-85200033494 |
| РИНЦ: | 73442216 |
| OpenAlex: | W4401052916 |
Цитирование в БД:
Пока нет цитирований