Красненкова, А. В. Алгоритмы вывода для негативных силлогистик [Текст] / А. В. Красненкова> // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 109-115. - Библиогр. в примеч. - Примеч.: с. 115
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): силлогистики -- силлогистические системы -- негативные силлогистики -- алгоритмы -- логические алгоритмы Аннотация: Автором предпринята попытка написания алгоритма и его компьютерной реализации для различных силлогистических систем (на данном этапе - позитивных и негативных). Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |