On modal presentation of explosive and paraconsistent equilibrium logic Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Output data | Year: 2025, Volume: 22, Number: 1, Pages: 479-499 Pages count : 21 DOI: 10.33048/semi.2025.22.032 | ||
| Tags | логическая программа, отрицание-как-неудача, сильное отрицание, равновесная логика, дедуктивная база, временная логика, равновесная модальная теория | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 23-11-00104 |
Abstract:
Фаринас дель Серро, Эрциг и Су доказали, что немонотонное отношение следования, задаваемое Семантикой Множеств Ответов (Answer Set Semantics, ASP) для логических программ с оператором "отрицание-как-неудача" может быть вложено в монотонную модальную логику с помощью варианта трансляции Геделя-Тарского. В данной статье этот результат обобщается на ASP для логических программ с двумя типами отрицаний, отрицание-как-неудача и сильное отрицание, а также на PAS, паранепротиворечивую версию ASP допускающую множества ответов, которые несовместны относительно сильного отрицания.
Cite:
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
Dates:
| Submitted: | Mar 25, 2025 |
| Published print: | May 31, 2025 |
| Published online: | May 31, 2025 |
Identifiers:
| Web of science: | WOS:001525502900002 |
| Scopus: | 2-s2.0-105020434929 |
Citing:
Пока нет цитирований