Место издания:«Русское общество истории и философии науки» Москва
Первая страница:64
Последняя страница:68
Аннотация:Алан Уир предложил трехзначную нетранзитивнуюлогику NC3 в виде системы натурального вывода с зависимостями (типа Суппеса-Леммона). Особенностью отношения следования вNC3 является двунаправленность: в нем различаются совпадающиев классической логике сохранение истинности от посылок к заключению и сохранение ложности от заключения к посылкам. В результате следование в NC3 нетранзитивно: точнее говоря, оно обладает ограниченной, а не обобщенной транзитивностью. На уровне системы натурального вывода для NC3 A. Уир предложил ограничивать применение только некоторых правил исключения логическихсвязок: применение правила разрешено, если все формулы, от которых зависят посылки данных правил, детерминированы. В статьемы предлагаем новое обоснование для выводимых правил уировскойсистемы.