| 
Обобщенные описания состояний для сильных логик первого уровня
| Авторы: Беликов А.А. | Опубликовано: 12.04.2018 |
| Опубликовано в выпуске: #3(65)/2018 | |
| DOI: 10.18698/2306-8477-2018-3-513 | |
| Раздел: Гуманитарные науки в техническом университете | Рубрика: Философские науки | |
| Ключевые слова: обобщенные описания , релевантная логика, логическая семантика, паранепротиворечивость, параполнота , обобщенные описания состояний | |
Предложены семантики обобщенных описаний состояний для некоторых расширений логики Данна — Белнапа. Среди исследуемых расширений: логика Ривеччио — Питца (ETL) и логика Шрамко — Зайцева — Беликова (NFL). На основе обобщенных описаний состояний формулируются отношения следования, которые позволяют формализовать соответствующие логики.
Литература
[1] Dunn J.M., Restall G. Relevance logic. Handbook of philosophical logic. Springer Netherlands, 2002, рр. 1–128.
[2] Dunn J.M. Partiality and its dual. Studia Logica, 2000, vol. 66, no. 1, pp. 5–40.
[3] Войшвилло Е.К. Философско-методологические аспекты релевантной логики. Москва, URSS, 2011, 139 с.
[4] Смирнова Е.Д. Логика и философия. Москва, РОССПЭН, 1996, 304 с.
[5] Pietz A., Rivieccio U. Nothing but the Truth. Journal of Philosophical Logic. 2013, no. 42, рр. 125–135.
[6] Marcos J. The value of the two values. In: Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday (Tributes). J.Y. Beziau, M.E. Coniglio, eds. College Publications, 2011, pp. 277–294.
[7] Shramko Y., Zaitsev D., Belikov A. First-degree entailment and its relatives. Studia Logica, 2017, vol. 105, no. 6, рр. 1291–1347.
