Logical Studies, 2000, Volume 4

Special Issue Papers of the 2000 year alumni of the Department of Logic Moscow State University

top stories

Analytic-tableau calculi for propositional relevance logics. Д. Шкатов

Автор: Admin

Теорема корректности для алгоритма поиска вывода в классической логике высказываний. В. Шангин

Автор: Admin

Алгоритм поиска трехзначных изоморфов классической логики. В.Е. Комендантский

Автор: Admin

Логика RM, ее происхождение, свойства и взаимоотношения с другими системами. И.А. Карпенко

Автор: Admin

Аналитико-табличные процедуры для временных логик. О.М. Григорьев

Автор: Admin

Классификация теорий чистой позитивной силлогистики. Т.А. Шиян

Автор: Admin