Диссертации по Логике.

ПОЛНОЕ СОБРАНИЕ ГОТОВЫХ ДИССЕРТАЦИЙ

№	Название	Год выпуска	Страниц

1	АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ	2004	106
2	Теория вывода в многозначный логиках	2003	142
3	Обоснование дедуктивного подхода в научном объяснении	2003	131
4	Расширение выразительный возможностей языка современной логики	2003	160
5	Применение системной модели аргументации к анализу текста	2003	167
6	Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр	2003	151
7	Паранепротиворечивость и релевантность	2004	150
8	Аналитико—табличная формализация систем временной логики	2004	106
9	Семантический анализ простых паранормальных логик	2005	163
10	Теория рассуждений Ч. Пирса	2005	141
11	Логико-философские исследования Боэция	2006	186
12	Автоматический поиск натурального вывода в классической логике предикатов	2004	106
13	Логико—методологическое исследование происхождения теории поиска вывода	2004	153
14	Современные проблемы использования табличный методов в логике	2005	330
15	Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков	2005	139
16	Интуиционистская логика и теория множеств	2004	177