Правила вывода многомодальных логик автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

Правила вывода многомодальных логик автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

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

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Геометрическая эквивалентность групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Гусев, Борис Владимирович канд. физ.-мат. наук
Published: (2007)

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

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

Бесконечномерные алгебры Мальцева автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06
by: Филиппов, Валерий Терентьевич
Published: (1983)

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

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

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

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

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

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

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

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

Функции роста алгебраических систем автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Трофимов, Владимир Иванович
Published: (1982)

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

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

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

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

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

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

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

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

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

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

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

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

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

Пирсовские слои и цепи полуколец автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Марков, Роман Владимирович
Published: (2015)