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