
кандидат физико-математических наук, доцент
тел.: (391) 206-20-76
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1952
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1952
Место работы и должность
Образование
- Красноярский государственный университет — Математика, квалификация "Математика", 1975 г.
Стаж работы (полных лет)
- Общий: 43
По специальности: 43
Научные направления, профессиональные интересы
- Исследование правил вывода в модальных логиках
Диссертации
- Кандидатская диссертация
- Исследование правил вывода в модальных логиках, расширяющих S4
Преподаваемые дисциплины
- Линейная алгебра и геометрия
- Математическая логика
- Модальные системы
- Общие вопросы логики
- Элементы нестандартных логик
- Общая алгебра
- Формальные системы в алгебре и логике
- Теория моделей
- Нестандартные логики
Публикации
Последние публикации:
- НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]2013, Сибирские электронные математические известия
- Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]2001, Algebra and Logic
- Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]2000, Algebra and Logic
- On finite model property for admissible rules [статья из журнала]1999, MATHEMATICAL LOGIC QUARTERLY
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996
Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.
Наиболее значимые публикации:
- В. В. Римацкий, В. Р. Кияткин, Независимый базис допустимых правил вывода предтабличных логик и их расширений, Сиб. электрон. матем. изв., 10 (2013), 79–89
- В. В. Рыбаков, В. Р. Кияткин, Т. Онер, О финитной аппроксимируемости для допустимых правил вывода, Алгебра и логика, 40:5 (2001), 593–618
- В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, Независимые базисы для правил, допустимых в предтабличных логиках, Алгебра и логика, 39:2 (2000), 206–226
- В. Р. Кияткин, Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1, Сиб. матем. журн., 41:1 (2000), 88–97
Всего публикаций: 0.
Ссылка на профиль в Академии Google
Повышение квалификации, стажировки
- Сибирский федеральный университет на факультете повышения квалификации преподавателей, "Электронные информационные ресурсы для образования", сертификат №26-1/15-Э777 — 2015 г.