On modal presentation of explosive and paraconsistent equilibrium logic Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Вых. Данные | Год: 2025, Том: 22, Номер: 1, Страницы: 479-499 Страниц : 21 DOI: 10.33048/semi.2025.22.032 | ||
| Ключевые слова | логическая программа, отрицание-как-неудача, сильное отрицание, равновесная логика, дедуктивная база, временная логика, равновесная модальная теория | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Российский научный фонд | 23-11-00104 |
Реферат:
Фаринас дель Серро, Эрциг и Су доказали, что немонотонное отношение следования, задаваемое Семантикой Множеств Ответов (Answer Set Semantics, ASP) для логических программ с оператором "отрицание-как-неудача" может быть вложено в монотонную модальную логику с помощью варианта трансляции Геделя-Тарского. В данной статье этот результат обобщается на ASP для логических программ с двумя типами отрицаний, отрицание-как-неудача и сильное отрицание, а также на PAS, паранепротиворечивую версию ASP допускающую множества ответов, которые несовместны относительно сильного отрицания.
Библиографическая ссылка:
Odintsov S.P.
On modal presentation of explosive and paraconsistent equilibrium logic
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2025. V.22. N1. P.479-499. DOI: 10.33048/semi.2025.22.032 WOS Scopus
On modal presentation of explosive and paraconsistent equilibrium logic
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2025. V.22. N1. P.479-499. DOI: 10.33048/semi.2025.22.032 WOS Scopus
Даты:
| Поступила в редакцию: | 25 мар. 2025 г. |
| Опубликована в печати: | 31 мая 2025 г. |
| Опубликована online: | 31 мая 2025 г. |
Идентификаторы БД:
| Web of science: | WOS:001525502900002 |
| Scopus: | 2-s2.0-105020434929 |
Цитирование в БД:
Пока нет цитирований