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
03B55 Intermediate logics

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 3 Next

Displaying 41 – 60 of 83

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Matematiceskij sbornik

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

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

Algebra i Logika

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

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

Algebra i Logika

Некоторые приемы, упрощающие построение сетей меток

Я.Я. Голота (1969)

Zapiski naucnych seminarov Leningradskogo

Неразрешимое промежуточное исчисление

С.В. Попов (1981)

Algebra i Logika

Неявная определимость и позитивные логики

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

Algebra i Logika

О допустимых правилах интуиционистской логики высказываний

А.И. Циткин (1977)

Matematiceskij sbornik

О кванторе предельной осуществимости

Н.А. Шанин (1976)

Zapiski naucnych seminarov Leningradskogo

О конструктивных псевдофункциях

М.Г. Гельфонд (1969)

Zapiski naucnych seminarov Leningradskogo

О полноте систем формул в двойственностно цепных логиках

М.Ф. Раца (1987)

Matematiceskie issledovanija

О реализациях предикатных формул

М.М. Кипнис (1971)

Zapiski naucnych seminarov Leningradskogo

О свойствах суперинтуиционистских пропозициональных исчислений.

В.И. Хомич (1990)

Sibirskij matematiceskij zurnal

О суперинтуиционистских логиках

А.В. Кузнецов (1975)

Matematiceskie issledovanija

О суперинтуиционистских логиках как фрагментах расширений логики доказуемости

А.В. Кузнецов, А.Ю. Муравицкий (1987)

Matematiceskie issledovanija

О финитной аппроксимируемости суперинтуиционистких логик

В.Я. Герчиу (1972)

Matematiceskie issledovanija

О финитной аппроксимируемости суперинтуиционистских логик

С.К. Соболев (1977)

Matematiceskij sbornik

О функциональной выразимости в суперинтуиционистских логиках

А.В. Кузнецов (1971)

Matematiceskie issledovanija

О числе предлокально-табличных суперинтуиционистских пропозициональных логик.

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

Algebra i Logika

Currently displaying 41 – 60 of 83

Previous Page 3 Next