|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Normalisation for Some Quite Interesting Many-Valued Logicsстатья
Дата последнего поиска статьи во внешних источниках: 12 января 2022 г.
- Авторы: Kürbis Nils, Petrukhin Yaroslav
- Журнал: Logic and Logical Philosophy
- Том: 30
- Номер: 3
- Год издания: 2021
- Первая страница: 493
- Последняя страница: 534
- DOI: 10.12775/LLP.2021.009
- Аннотация: In this paper, we consider a set of quite interesting three- and four-valued logics and prove the normalisation theorem for their natural deduction formulations. Among the logics in question are the Logic of Paradox, First Degree Entailment, Strong Kleene logic, and some of their implicative extensions, including RM3 and RM3⊃. Also, we present a detailed version of Prawitz’s proof of Nelson’s logic N4 and its extension by intuitionist negation.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 31838-80356-2-PB.pdf | 368,2 КБ | 17 июня 2021 [petrukhin] |