Минц Григорий Ефроимович

Публикации в базе данных Math-Net.Ru

1. Logical equations in monadic logic
   
   Зап. научн. сем. ПОМИ, 358 (2008),  251–270
2. Intuitionistic frege systems are polynomially equivalent
   
   Зап. научн. сем. ПОМИ, 316 (2004),  129–146
3. Метод $\varepsilon$-подстановок для исчисления предикатов с равенством
   
   Зап. научн. сем. ПОМИ, 220 (1995),  93–122
4. Теорема о нормальной форме для классической логики 2 порядка с аксиомой выбора
   
   Изв. АН СССР. Сер. матем., 52:3 (1988),  581–600
5. Полнота правил структурного синтеза
   
   Докл. АН СССР, 263:2 (1982),  291–295
6. Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  131–136
7. Новая последовательность редукций для арифметики
   
   Зап. научн. сем. ЛОМИ, 88 (1979),  106–130
8. Замкнутые категории и теория доказательств
   
   Зап. научн. сем. ЛОМИ, 68 (1977),  83–114
9. Универсальность канонического дерева
   
   Докл. АН СССР, 227:4 (1976),  808–811
10. Что можно сделать в ПРА
    
    Зап. научн. сем. ЛОМИ, 60 (1976),  93–102
11. Теория доказательств (Арифметика и анализ)
    
    Итоги науки и техн. Сер. Алгебра. Топол. Геом., 13 (1975),  5–49
12. Финитное исследование трансфинитных выводов
    
    Зап. научн. сем. ЛОМИ, 49 (1975),  67–122
13. Трансфинитные развертки арифметических формул
    
    Зап. научн. сем. ЛОМИ, 49 (1975),  51–66
14. О $E$-теоремах
    
    Зап. научн. сем. ЛОМИ, 40 (1974),  110–118
15. Гейтинговское исчисление предикатов с эпсилон-символом
    
    Зап. научн. сем. ЛОМИ, 40 (1974),  101–109
16. Сколемовский метод в интуиционистских исчислениях
    
    Тр. МИАН СССР, 121 (1972),  67–99
17. Теорема об устранимости сечения для релевантных логик
    
    Зап. научн. сем. ЛОМИ, 32 (1972),  90–97
18. Производность допустимых правил
    
    Зап. научн. сем. ЛОМИ, 32 (1972),  85–89
19. Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
    
    Зап. научн. сем. ЛОМИ, 20 (1971),  134–144
20. Бескванторные и однокванторные системы
    
    Зап. научн. сем. ЛОМИ, 20 (1971),  115–133
21. О семантике модальной логики
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  147–151
22. Машинный алгорифм установления выводимости на основе обратного метода
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  8–19
23. Разрешимость проблемы выводимости в LJ для класса формул, не содержащих отрицательных вхождений кванторов
    
    Тр. МИАН СССР, 98 (1968),  121–130
24. О построении консервативных логических выводов
    
    Тр. МИАН СССР, 98 (1968),  112–120
25. О некоторых исчислениях модальной логики
    
    Тр. МИАН СССР, 98 (1968),  88–111
26. Независимость постулатов натуральных исчислений
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  192–195
27. Допустимые и производные правила
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  189–191
28. Дизъюнктивная интерпретация исчисления $LJ$
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  182–188
29. Импликативная сложность аксиоматик
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  175–181
30. Свободные от сечения исчисления типа $S5$
    
    Зап. научн. сем. ЛОМИ, 8 (1968),  166–174
31. О погружающих операциях
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  160–167
32. Погружающие операции, связанные с "семантикой" С. Крипке
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  152–159
33. Варьирование тактик поиска вывода в секвенциальных исчислениях
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  134–151
34. Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  123–133
35. Подбор термов в кванторных правилах конструктивного исчисления предикатов
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  112–122
36. Теорема Эрбрана для исчисления предикатов с равенством и функциональными символами
    
    Докл. АН СССР, 169:2 (1966),  273–275
37. Сколемовский метод элиминации положительных кванторов в секвенциальных исчислениях
    
    Докл. АН СССР, 169:1 (1966),  24–27
38. Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих только одноместные предикатные переменные
    
    Докл. АН СССР, 163:2 (1965),  295–297
39. О предикатных и операторных вариантах построения теорий конструктивной математики
    
    Тр. МИАН СССР, 72 (1964),  383–436
40. Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов
    
    Докл. АН СССР, 152:3 (1963),  553–554
41. О предикате дифференцируемости и операторе дифференцирования в конструктивном математическом анализе
    
    Докл. АН СССР, 147:5 (1962),  1032–1034
42. Аналог теоремы Эрбрана для конструктивного исчисления предикатов
    
    Докл. АН СССР, 147:4 (1962),  783–786


43. Николай Александрович Шанин (некролог)
    
    УМН, 68:4(412) (2013),  173–176
44. Михаил Абрамович Тайцлин (1936–2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  54–65
45. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
    
    УМН, 56:3(339) (2001),  181–184
46. Николай Александрович Шанин (к семидесятилетию со дня рождения)
    
    УМН, 45:1(271) (1990),  205–206
47. Сергей Юрьевич Маслов (некролог)
    
    УМН, 39:2(236) (1984),  129–130
48. Николай Александрович Шанин (к шестидесятилетию со дня рождения)
    
    УМН, 35:2(212) (1980),  241–245
49. Исправления и дополнения к статье “О предикатных и операторных вариантах построения теорий конструктивной математики”
    
    Тр. МИАН СССР, 93 (1967),  257–258