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
03Fxx Proof theory and constructive mathematics
03F05 Cut-elimination and normal-form theorems

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

Displaying 1 – 12 of 12

Верхние оценки удлинения выводов при устранении сечений

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

Zapiski naucnych seminarov Leningradskogo

Гейтинговское исчисление предикатов с эпсилон-символом

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Метод эпсилон подстановок для исчисления предикатов с равенством

Г.Е. Минц (1995)

Zapiski naucnych seminarov POMI

Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка

Р. Плюшкявичюс (1995)

Zapiski naucnych seminarov POMI

Нижние оценки увеличения сложности выводов после устранения сечений

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

Zapiski naucnych seminarov Leningradskogo

Новая последовательность редукций для арифметики

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

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

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Рост длины секвенциального вывода при перестройке в натуральный

С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

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

Л.М. Коган-Бернштейн (1981)

Zapiski naucnych seminarov Leningradskogo

Устранение правил типа сечения в аксиоматических теориях с равенством

А.Ю. Плюшкевичене (1969)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 1 – 12 of 12

Page 1