Секция „Математическа логика и приложенията ѝ” на пролетната научна сесия на ФМИ, 26 март 2016 г.
-
Димитър Скордев, „Някои случаи, когато от локално наличие на свойства на функции следва глобално” (pdf)
-
Антон Зиновиев, „Контруктивно доказателство на пълнотата на класическото предикатно смятане” (pdf)
-
Димитър Вакарелов, „Extended mereotopology based on sequent algebras: mereo-topological representation of Scott-Tarski consequent relations“
-
Митко Янчев, „Рационално градиране в дескриптивни логики с транзитивни роли”
-
Тинко Тинчев, „Относно унификацията в Alt1”
-
Димитър Георгиев, „Детерминистична SQEMA и приложение за езика на предконтактните логики”
-
Димитър Гелев, „Влагане на (още) модели за паралелизъм в интервалната темпорална логика с поточкова проекция”
-
Димитър Добрев, „Метро, в което всяко вагонче има собствено мнение”