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

Г.Е. Минц

The search session has expired. Please query the service again.

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: