Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06

Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06

Bibliographic Details
Main Author:	Кияткин, Владимир Ростиславович
Format:	Book
Language:	Russian
Published:	Красноярск 1999
Subjects:	Математическая логика, алгебра и теория чисел авторефераты диссертаций.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Допустимые правила вывода в нестандартных логиках и их базисы Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Римацкий, Виталий Валентинович
Published: (2000)

Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Руцкий, Алексей Николаевич
Published: (2002)

Исследование правил вывода в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Федоришин, Богдан Романович
Published: (2002)

Приложение семантики Крипке к исследованию правил вывода Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Безгачева, Юлия Викторовна
Published: (1998)

Допустимые и выводимые правила вывода в нестандартных логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Юрасова, Екатерина Михайловна
Published: (2004)

Новые константы в предтабличных суперинтуиционистских логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Кощеева, Анна Константиновна
Published: (2015)

О p-примитивных полуполевых плоскостях Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Бусаркина, Ирина Викторовна
Published: (1998)

Правила вывода многомодальных логик автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Кошелева, Анна Владимировна
Published: (2007)

Обобщенно равномерные произведения групп Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Пашковская, Ольга Владимировна
Published: (1999)

Конгруэнции на полукольцах непрерывных функций Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Семенова, Ирина Александровна
Published: (1998)

Группы Шункова с дополнительными ограничениями Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06.
by: Шлепкин, Анатолий Константинович
Published: (1998)

О распознаваемых свойствах ассоциативных алгебр Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Касапенко, Луиза Юрьевна
Published: (2000)

Аналитическое продолжение гиперболической дзета-функции решеток Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Рощеня, Алла Ленстовна
Published: (1998)

Разрешимые группы и примитивные системы элементов Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Тимошенко, Евгений Иосифович
Published: (1998)

Распознаваемые свойства конечно определенных ассоциативных алгебр. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Лукоянова, Елена Валерьевна
Published: (1997)

Многообразия и алгебраические алгебры ограниченного индекса Автореферат диссертации на соискание ученой степени кандидата физико-математческих наук. 01.01.06.
by: Свиридова, Ирина Юрьевна
Published: (1998)

Аппроксимация и абстрактная характеристика полугрупп характеров Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Корабельщикова, Светлана Юрьевна
Published: (1998)

Определяемость абелевых групп своими кольцами эндоморфизмов Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Себельдин, Анатолий Михайлович
Published: (1997)

Условия конечности в группах автоморфизмов деревьев Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Рожков, Александр Викторович
Published: (1997)

Характеризации групп с некоторыми условиями конечности Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Сенашов, Владимир Иванович
Published: (1997)

Тождества со следом и их приложения Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Самойлов, Леонид Михайлович
Published: (2000)

Строение обратимых матриц над упорядоченными алгебраическими системами Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Ильин, Сергей Николаевич
Published: (1999)

Полукольца непрерывных функций с топологией поточечной сходимости Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Подлевских, Марина Николаевна
Published: (1999)

Образующие элементы и определяющие соотношения в линейных группах Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Сатаров, Жоомарт
Published: (1998)

Максимальные идеалы и делимость в полукольцах непрерывных функций Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Варанкина, Вера Ивановна
Published: (1996)

О рациональных приближениях к некоторым бесконечным цепным дробям Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Тасоев, Ботаз Георгиевич
Published: (1997)

О некоторых арифметических задачах, связанных с героновыми треугольниками Автореферат диссертации на соискание ученой степени кандидата физико-математических наук 01.01.06
by: Кожегельдинов, Сагдулла Шаяхметович
Published: (1998)

Обращение Мебиуса и перечислительные задачи теории конечных p-групп Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.06
by: Шокуев, Владимир Нухович
Published: (2000)

Многообразия алгебр конечной кодлины в случае поля нулевой характеристики Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Васильева, Ирина Романовна
Published: (2000)

Формулы для числа решений уравнений Марковского типа в конечных полях Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Баулина, Юлия Николаевна
Published: (2001)

Проблема делителей Ингама на множестве чисел без K-ых степеней Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Иконникова, Татьяна Константиновна
Published: (2001)

О подгруппах в группах крашеных кос и группах Артина конечного типа Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Добрынина, Ирина Васильевна
Published: (1997)

Некоторые свойства тождеств алгебры Витта и условие нетеровости универсальных обертывающих алгебр Ли Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Власов, Николай Анатольевич математик
Published: (1998)

Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Лукьянчук, Александра Николаевна
Published: (2015)

Полиномиальные алгоритмы решения переборных задач Автореферат диссертации на соискание ученой степени доктора физико-математических наук. 01.01.09; 01.01.06
by: Стрыгин, Владимир Захарович
Published: (2000)

Аппроксимация компактных полугрупп непрерывными характерами и бихарактерами Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.01; 01.01.06
by: Воронин, Виктор Владимирович математик
Published: (1996)

Гомоморфная устойчивость абелевых групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Ельцова, Тамара Александровна
Published: (2009)

Матрицы Мальцева двойственных групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Костромина, Юлия Владимировна
Published: (2013)

К теории n-упорядоченных групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Тоболкин, Антон Александрович
Published: (2009)

Абелевы группы с чистыми кольцами эндоморфизмов автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Сорокин, Константин Сергеевич
Published: (2014)