Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов

Г.Е. Минц

Displaying similar documents to “Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов”

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Независимость постулатов натуральных исчислений

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О Е-теоремах

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Производность допустимых правил

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Погружающие операции, связанные с "семантикой" С.Крипке

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1975)

Zapiski naucnych seminarov Leningradskogo

Similarity: