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

Displaying 41 – 56 of 56

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

В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)

Algebra i Logika

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

М.Ф. Раца (1987)

Matematiceskie issledovanija

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

П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1996)

Algebra i Logika

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

Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)

Algebra i Logika

Промежуточная предикатная логика без свойств Бета.

П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)

Algebra i Logika

Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС

С.В. Бабенышев (1992)

Algebra i Logika

Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр

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

Algebra i Logika

Разрешимые классы псевдопредваренных формул

В.П. Оревков (1976)

Zapiski naucnych seminarov Leningradskogo

Сети меток и выводимость в интуиционистском исчислении высказываний

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

Zapiski naucnych seminarov Leningradskogo

Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики

А.Ю. Муравицкий (1981)

Algebra i Logika

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

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

Algebra i Logika

Сравнение топологической и реляционной семантик суперинтуиционистских логик

А.Ю. Муравицкий (1984)

Algebra i Logika

Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр

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

Matematiceskie issledovanija

Суперинтуиционистские логики и проективное свойство Бета.

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

Algebra i Logika

Финитное исследование трансфинитных выводов

Г.Е. Минц (1975)

Zapiski naucnych seminarov Leningradskogo

Цепные классы участочно-монотонных функций логики первой матрицы Яськовского

В.П. Малай (1987)

Matematiceskie issledovanija

Currently displaying 41 – 56 of 56

Previous Page 3