Электронная библиотека Национальной библиотеки Беларуси

Правила вывода многомодальных логик: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Кошелева Анна Владимироовна. - Красноярск, 2007. - 18 с.

“...Правила вывода многомодальных логик автореферат диссертации на соискание ученой степени кандидата...”

Некоторые классы промежуточных логик. - М., 1981. - 28 с. - (Препринт ; № 160)

“...Некоторые классы промежуточных логик...”

Нестандартные семантики неклассических логик: (Тр. Н.-и. семинара по логике Ин-та философии АН СССР) / [Ред. В. А. Смирнов, А. С. Карпенко]. - М. : [Б. и.], 1986. - 133, [3] с.

“...Нестандартные семантики неклассических логик Non-standard semantics of non-classical logic (Тр. Н...”

К теории модальных логик: (01.01.06): Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук. - Новосибирск, 1979. - 9 с.

“...К теории модальных логик (01.01.06) Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук...”

Свободные алгебры неклассических логик / АН ГССР, Ин-т кибернетики. - Тбилиси : Мецниереба, 1987. - 110 с.

“...Свободные алгебры неклассических логик АН ГССР, Ин-т кибернетики...”

Интуиционистские версии конечнозначных логик: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: (01.01.06). - М., 1985. - 13 с.

“...Интуиционистские версии конечнозначных логик Автореф. дис. на соиск. учен. степ. канд. физ.-мат...”

Классификация пропозициональных логик доказуемости: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: (01.01.06) / Рос. АН, Мат. ин-т им. В. А. Стеклова. - М., 1992. - 9 с.

“...Классификация пропозициональных логик доказуемости Автореф. дис. на соиск. учен. степ. канд. физ...”

Философские основания неклассических логик: (Тр. Н.-и. семинара по логике Ин-та философии АН СССР) / [Редкол.: В. А. Смирнов (отв. ред.) и др.]. - М. : ИФАН, 1990. - 152 с.

“...Философские основания неклассических логик Philosophical foundations of non-classical logics (Тр. Н...”

Семантический анализ простых паранормальных логик: автореферат диссертации на соискание ученой степени кандидата философских наук: 09.00.07 / Баташев Денис Вячеславович. - Москва, 2005. - 22 с.

“...Семантический анализ простых паранормальных логик автореферат диссертации на соискание ученой...”

Семантика модальных и интенсиональных логик: [Сб. статей] : Пер. с англ. / Сост., общ. ред. и вступит. статья [с. 5-25] В. А. Смирнова. - М. : Прогресс, 1981. - 424 с. - (Обществ. науки за рубежом. Философия и социология)

“...Семантика модальных и интенсиональных логик [Сб. статей] : Пер. с англ. Сост., общ. ред. и вступит...”

Исследование методологических проблем временных логик: (09.00.07): Автореф. дис. на соиск. учен. степ. канд. филос. наук. - М., 1980. - 24 с.

“...Исследование методологических проблем временных логик (09.00.07) Автореф. дис. на соиск. учен. степ...”

Вопросы полноты для предельных логик: (01.01.09): Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук / [МГУ]. Фак. вычислит. математики и кибернетики. Кафедра теории автоматов и мат. логики. - М. : Изд-во Моск. ун-та, 1973. - 112 с.

“...Вопросы полноты для предельных логик (01.01.09) Автореф. дис. на соиск. учен. степени канд. физ...”

Исследование сложностей выводов в системах неклассических логик: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Саядян Сергей Мушегович. - Ереван, 2007. - 19 с.

“...Исследование сложностей выводов в системах неклассических логик автореферат диссертации на...”

Алгоритмические свойства модальных логик информационных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.17 ; 01.01.06 / Шапировский Илья Борисович. - Москва, 2007. - 15 с.

“...Алгоритмические свойства модальных логик информационных систем автореферат диссертации на соискание...”

Некоторые алгоритмические вопросы для полимодальных логик доказуемости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Пахомов Федор Николаевич. - Москва, 2015. - 10 с.

“...Некоторые алгоритмические вопросы для полимодальных логик доказуемости автореферат диссертации на...”

Измеримые расслоения дедекиндовых логик и их гомоморфизмов: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.01 / Бусахла Наим Юсефович. - Ташкент, 2002. - 16 с.

“...Измеримые расслоения дедекиндовых логик и их гомоморфизмов Автореф. дис. на соиск. учен. степ. канд...”

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

“...Синтаксис и семантика суперинтуиционистских и модальных логик Автореф. дис. на соиск. учен. степ...”

О гомоморфизмах функциональных систем многозначных логик: (01.01.09): Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук / Сарат. гос. ун-т им. Н. Г. Чернышевского, Мех.-мат. фак. - Саратов, 1988. - 13, [1] с.

“...О гомоморфизмах функциональных систем многозначных логик (01.01.09) Автореф. дис. на соиск. учен...”

Разрешимые свойства суперинтуиционистских и модальных логик: Автореф. дис. на соиск. учен. степ. д-ра. физ.-мат. наук: (01.01.06) / АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1985. - 24 с.

“...Разрешимые свойства суперинтуиционистских и модальных логик Автореф. дис. на соиск. учен. степ. д...”

Две иерархии локально-табличных суперинтуиционистских логик. - Новосибирск, 1987. - 30 с. - (Препр. ; № 10)

“...Две иерархии локально-табличных суперинтуиционистских логик...”

Уточнение результатов поиска