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