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