Загалом робіт:110
51. Шалак, Владимир Иванович. Логический анализ сети интернет Рік: 2008 52. Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик Рік: 2008 53. Крушинский Андрей Андреевич. Логика древнего Китая Рік: 2006 54. Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике Рік: 2006 55. Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике Рік: 2005 56. Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики Рік: 2004 57. Кварталова Наталия Леонидовна. Паранепротиворечивость и релевантность Рік: 2004 58. Хаханян Валерий Христофорович. Интуиционистская логика и теория множеств Рік: 2004 59. Ходикова Нина Анатольевна. Логико-методологическое исследование происхождения теории поиска вывода Рік: 2004 60. Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов Рік: 2004 61. Золотов Эдгар Станиславович. Применение системной модели аргументации к анализу текста Рік: 2003 62. Комендантский Владимир Евгеньевич. Теория вывода в многозначных логиках Рік: 2003 63. Михайлов Кирилл Авенирович. Логические идеи И. Канта Рік: 2003 64. Нечитайлов Юрий Вячеславович. Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр Рік: 2003 65. Тарковский Владимир Николаевич. Обоснование дедуктивного подхода в научном объяснении Рік: 2003 66. Яйлеткан Александр Александрович. Расширение выразительных возможностей языка современной логики Рік: 2003 67. Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний Рік: 2002 68. Архиереев Николай Львович. Семантики ограниченных множеств описаний состояний Рік: 2001 69. Кускова Светлана Михайловна. Учение Аристотеля о модальности Рік: 2001 70. Маков Борис Васильевич. Становление формальных методов в логике отношений Рік: 2001 71. Гриненко, Галина Валентиновна. Логико-семиотический анализ сакральных текстов и сакральной коммуникации Рік: 2000 72. Невдобенко, Оксана Ивановна. Отношение следования и нестандартные семантики Рік: 2000 73. Нкодиа Орельен-Серж-Жерве. Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени Рік: 2000 74. Павлов, Сергей Афанасьевич. Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта Рік: 2000 75. Антонова, Ольга Аркадьевна. Табличные исчисления в классической и неклассических логиках Рік: 1998 76. Беляев, Вадим Владимирович. Моделирование финитных ситуаций и критика финитных моделей в традиционной логике Рік: 1998 77. Петров, Василий Борисович. Логико-методологический анализ представлений индуктивных рассуждений в современных логических теориях Рік: 1998 78. Шрамко, Ярослав Владиславович. Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики) Рік: 1998 79. Домбровский, Борис Тарасович. Логическая семиотика во Львовско-Варшавской философской школе Рік: 1997 80. Ларионова, Виктория Константиновна. Этика Абсолюта русской философии интуитивизма (Н.О. Лосского и С. Л. Франка) Рік: 1997 81. Фримучкова, Екатерина Владимировна. Полимодальные фрагменты временных логик Рік: 1997 82. Василевская, Татьяна Эдуардовна. Ответственность как духовно-нравственное измерение личности Рік: 1996 83. Кульматов, Владимир Александрович. Логическое учение Раймунда Луллия Рік: 1996 84. Ладушкин, Сергей Иванович. Дедукционная теорема в системах релевантной логики Рік: 1996 85. Микиртумов, Иван Борисович. Биокомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата) Рік: 1996 86. Микиртумов, Иван Борисович. Бикомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата) Рік: 1996 87. Мулярчук, Евгений Иванович. Феномен конечности бытия человека, экзистенциальныйи этический аспекты Рік: 1996 88. Гордова, Татьяна Викторовна. Логицизм И. Г. Ламберта Рік: 1995 89. Переверзев, Василий Николаевич. Концептуальные основания формального языка металогики Рік: 1995 90. Голованова, Ирина Павловна. Точечные и интервальные семантики для модальных и временных систем Рік: 1994 91. Карпинская, Ольга Юрьевна. Многомерные семантики временной и модально-временной логик Рік: 1994 92. Джалиашвили, Зураб Отарович. Логические основы компьютеризации диалога Рік: 1993 93. Левенец, Елена Владимировна. Аналогия: логический анализ, применение в искусственном интеллекте и моделировании Рік: 1993 94. Мухачев, Виктор Павлович. Генценовские методы в логике Рік: 1993 95. Спивак, Веда Игоревна. Логика в России в конце XIX- начале XX века. Логика отношений С. И. Поварнина Рік: 1993 96. Катречко, Сергей Леонидович. Логический анализ интеллектуальных систем с метапроцедурами Рік: 1992 97. Хлус, Андрей Михайлович. "Логический анализ рассуждений с неявными предпосылками" Рік: 1992 98. Царева, Светлана Михайловна. Логико-лингвистические характеристики аргументации Рік: 1992 99. Цукерман, Галина Анатольевна. Совместная учебная деятельность как основа формирования умения учиться Рік: 1992 100. Балобанов, Виталий Серафимович. Логика функций с неопределенными аргументами Рік: 1991 |