Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Калужский филиал

Подробное описание документа

   Статья в журнале

Невдобенко О. И.
   Подходы к семантическому определению отношения логического следования / Невдобенко О. И. // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2017. - № 12. - П.Н. 8.

library.bmstu.ru/Catalog/Details/604167

Рассмотрены два типа определения фундаментального понятия логики - отношения логического следования. Первый тип связан с традицией определения логического следования через требования наследования значений. Вариативность этого подхода сопряжена с различными возможностями задания множества оценок. Второй тип определения связан с вычислительной моделью следования.