Данн предложил различные семантики для тавтологических следствий [1966], некоторые из которых интуитивные, а некоторые тесно ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Белнап Н.N. Логика вопросов и ответов


Данн предложил различные семантики для тавтологических следствий [1966], некоторые из которых интуитивные, а некоторые тесно связаны с четырехзначной матрицей Смайли. В 1975 г. ( с некоторым опозданием) Данн уделил в своей работе много внимания интуитивному и техническому значению этой идеи. Алгебраическая структура, соответствующая этой логике, была детально исследована Данном и другими; весь этот материал изложен Данном в главе III книги Андерсона, Белнапа [1975], где можно также найти генце-новские исчисления и многие другие близкие вопросы ( прим.

(cкачать страницу)

Смотреть книгу на libgen

Данн предложил различные семантики для тавтологических следствий [1966],  некоторые из которых интуитивные,  а некоторые тесно связаны с четырехзначной матрицей Смайли.  В 1975 г. ( с некоторым опозданием) Данн уделил в своей работе много внимания интуитивному и техническому значению этой идеи.  Алгебраическая структура,  соответствующая этой логике,  была детально исследована Данном и другими;  весь этот материал изложен Данном в главе III книги Андерсона,  Белнапа [1975],  где можно также найти генце-новские исчисления и многие другие близкие вопросы ( прим.