Красненкова А. В. Алгоритмы вывода для негативных силлогистик / Красненкова А. В. // Вестник Московского университета. Серия 7, Философия. - 2008. - № 2. - С. 109 - 115. - Примеч.Отраслевые рубрики: логика, философские науки; информационные технологии Ключевые слова: алгоритмизация силлогистики, негативные силлогические системы, позитивные силлогические системы, силлогистика, силлогические системы Аннотация: Автор описывает алгоритм поиска доказательств для различных силлогистических систем и его компьютерную реализацию
| 
Блог Мишки Б.
