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