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