EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic
03B45 Modal logic (including the logic of norms)

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 7 Next

Displaying 121 – 140 of 171

Многообразия логических матриц

А.В. Чагров (1985)

Algebra i Logika

Модальная логика на основе линейно упорядоченных $f$ -пространств

В.Ф. Мурзина (2003)

Algebra i Logika

Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость

Л.Л. Максимова (1992)

Algebra i Logika

Модальные логики конечных слоев.

Л.Л. Максимова (1975)

Algebra i Logika

Модальные логики с LM-аксиомами.

В.В. Рыбаков (1978)

Algebra i Logika

Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении

М.В. Захарьящев (1989)

Matematiceskij sbornik

Модальные позитивные операторы.

С.И. Мардаев (1999)

Algebra i Logika

Наименьшие неподвижные точки в логике Гёделя-Леба

С.И. Мардаев (1993)

Algebra i Logika

Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике

С.И. Мардаев (1993)

Algebra i Logika

Наследственно конечно-аксиоматизируемые расширения логики S4

В.В. Рыбаков (1976)

Algebra i Logika

Негативные модальные схемы.

С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1998)

Algebra i Logika

Независимые базисы для правил, допустимых в предтабличных логиках

В.В. Рыбаков, В.Р. Кияткин, М. Терзилер (2000)

Algebra i Logika

Некомпактные расширения логики S4

В.В. Рыбаков (1977)

Algebra i Logika

Неподвижные точки модальных схем

С.И. Мардаев (1992)

Algebra i Logika

Неразрешимые свойства расширений логики доказуемости. II

A.B. Чагров (1990)

Algebra i Logika

Неразрешимые свойства расширения логики доказуемости

А.В. Чагров (1990)

Algebra i Logika

Нетабличность логики S4 по функциональной полноте.

М.Ф. Раца (1982)

Algebra i Logika

О выразительной силе некоторых динамических логик

А.П. Столбоушкин (1986)

Matematiceskij sbornik

О двух расширениях логики доказуемости GL

В.Ю. Шавруков (1990)

Matematiceskij sbornik

О динамических теориях свободных алгебр

И.Х. Мусикаев, М.А. Тайцлин (1989)

Matematiceskij sbornik

Currently displaying 121 – 140 of 171

Previous Page 7 Next