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
03B20 Subsystems of classical logic (including intuitionistic logic)

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

Page 1 Next

Displaying 1 – 20 of 26

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

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

Matematiceskij sbornik

Гливенковские классы секвенций

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

Zapiski naucnych seminarov Leningradskogo

Дизъюнктивная интерпретация исчисления LJ

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Допустимые и производные правила

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

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

Р.А. Плюшкевичус (1968)

Zapiski naucnych seminarov Leningradskogo

Классификация полных по Новикову логик с дополнительными логическими константами

А.Д. Яшин (2003)

Algebra i Logika

Магариевы и $94$ -псевдобулевы алгебры.

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

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Algebra i Logika

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

А.Д. Яшин (1996)

Sibirskij matematiceskij zurnal

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

А.А. Шум (1984)

Algebra i Logika

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

Ю.Н. Толстова (1971)

Zapiski naucnych seminarov Leningradskogo

О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний

А.В. Кузнецов, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov (1963)

Algebra i Logika

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

А.Д. Яшин (2002)

Algebra i Logika

Об одном расширении логики Габбая

А.Д. Яшин (1998)

Sibirskij matematiceskij zurnal

Об отношении между интуиционистскими и классическими модальными логиками.

Ф. Вольтер, М. Захарьящев, F. Vol'ter, M. Zachar'jaščev, F. Vol'ter, M. Zachar'ǎŝev, F. Vol'ter, M. Zachar'jaščev (1997)

Algebra i Logika

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

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

Algebra i Logika

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

М.Ф. Раца (1987)

Matematiceskie issledovanija

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

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

Algebra i Logika

Currently displaying 1 – 20 of 26

Page 1 Next