Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Истина, пропозициональные установки и тождество пропозиций (перевод, примечания Г. В. Карпова)
Сравнительный анализ дедуктивных средств различных логических теорий (на примере времéнных и алетических логик)
OVA
Онлайн приложение свободного доступа с интерфейсом, основанным на использовании Интернет-браузера. Предназначено для визуального конструирования аргументативных карт как из загружаемых текстов, так и текстов веб-страниц напрямую Конструирование аргументационных карт происходит в интуитивно понятной форме с использованием технологии drag-and-drop