Критерий допустимости правил вывода логики с оператором "Завтра" : препринт

Описание

Тип публикации: препринт

Год издания: 2004

Аннотация: В данной работе найдено необходимое и достаточное условие допустимости правил вывода в линейной нетранзитивной нерефлексивной логике L. Данная логика удобна тем, что из каждого элемента L-фрейма достижим только один элемент, то есть в данной логике оператор ? совпадает с ?. Тем не менее, в силу нетранзитивности логики при изучении Показать полностьюдопустимых правил вывода необходимо было использовать новую технику

Ссылки на полный текст

Издание

Место издания: ВИНИТИ РАН

Вхождение в базы данных