Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradoxстатья

Статья опубликована в высокорейтинговом журнале

Информация о цитировании статьи получена из Scopus, Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 23 января 2018 г.

Работа с статьей

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Author's Original Automated_CA_26.10__Colon.pdf 401,1 КБ 18 июня 2017 [petrukhin]

[1] Petrukhin Y., Shangin V. Automated correspondence analysis for the binary extensions of the logic of paradox // Review of Symbolic Logic. — 2017. — P. 1–26. 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. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть