|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysisстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 11 ноября 2019 г.
- Авторы: Petrukhin Yaroslav, Shangin Vasilyi
- Журнал: Logic and Logical Philosophy
- Том: 28
- Номер: 2
- Год издания: 2019
- Первая страница: 223
- Последняя страница: 257
- DOI: 10.12775/LLP.2018.009
- Аннотация: Using the method of correspondence analysis, Tamminga obtains sound and complete natural deduction systems for all the unary and binary truth-functional extensions of Kleene’s strong three-valued logic K3 . In this paper, we extend Tamminga’s result by presenting an original finite, sound and complete proof-searching technique for all the truth-functional binary extensions of K3.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 14433-41749-1-PB.pdf | 1,2 МБ | 7 июля 2018 [petrukhin] |