Подбор термов в кванторных правилах конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Свободные от сечения исчисления типа S5”
Подбор термов в кванторных правилах конструктивного исчисления предикатов
Дизъюнктивная интерпретация исчисления LJ
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Импликативная сложность аксиоматик
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов
Г.Е. Минц (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Гейтинговское исчисление предикатов с эпсилон-символом
Г.Е. Минц (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость постулатов натуральных исчислений
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Производность допустимых правил
Г.Е. Минц (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Допустимые и производные правила
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Бескванторные и однокванторные системы
Г.Е. Минц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема об устранимости сечения для релевантных логик
Г.Е. Минц (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Варьирование тактик поуска вывода в секвенциальных исчислениях
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О семантике модальной логики
Г.Е. Минц (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity: