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