Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
сборник
Год издания:
2007
Серия:
Смирновские чтения по логике
Место издания:
ИФРАН Москва
Сборник тезисов
Добавил в систему:
Маркин Владимир Ильич
Статьи, опубликованные в сборнике
2007
Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
Bolotov A.E.
,
Grigoriev O.M.
,
Shangin V.O.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 44-46
2007
Интервалы простых паралогик
Попов В.М.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 35-37
2007
К вопросу о полноте по Крипке предикатных логик
Рыбаков М.Н.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 37-38
2007
К вопросу об историко-логической адекватности реконструкции В. А. Смирновым силлогистических теорий Н. А. Васильева
Шиян Т.А.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 166-167
2007
К экспликации понятия истинности и анализу парадокса Лжеца
Смирнова Е.Д.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 111-113
2007
Номиналистская трактовка высказываний науки и проблема интерпретации условных высказываний
Попов О.В.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 105-107
2007
Объективная и субъективная реальность с точки зрения различных логических систем
Ивлев Ю.В.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 75-76
2007
Оценка аргументации
Зайцев Д.В.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 70-71
2007
Силлогистика с константами, соответствующими модельным схемам с универсумом
Маркин В.И.
в сборнике
Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
, серия
Смирновские чтения по логике
, место издания
ИФРАН Москва
, тезисы, с. 89-91