|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradoxстатья
Статья опубликована в высокорейтинговом журнале
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 23 января 2018 г.
- Авторы: Petrukhin Yaroslav, Shangin Vasily
- Журнал: Review of Symbolic Logic
- Год издания: 2017
- Первая страница: 1
- Последняя страница: 26
- DOI: 10.1017/S1755020317000156
- Аннотация: B. Kooi and A. Tamminga present a correspondence analysis for extensions of G. Priest’s logic of paradox. Each unary or binary extension is characterizable by a special operator and analyzable via a sound and complete natural deduction system. The present paper develops a sound and complete proof searching technique for the binary extensions of the logic of paradox.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Author's Original | Automated_CA_26.10__Colon.pdf | 401,1 КБ | 18 июня 2017 [petrukhin] |