Перегляд за Автор "Simonova, Irina G."

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Сепарационное свойство для доказуемостно-интуиционистского исчисления
    (Одеський національний університет імені І. І. Мечникова, 2008) Симонова, Ирина Гаяновна; Симонова, Ірина Гаянівна; Simonova, Irina G.
    В настоящей статье доказывается выполнимость сепарационного свойства для исчисления I^. Доказательство проводится методом перестройки выводов, позволяющим получать из вывода формулы А ее вывод, не содержащий логических связок, не входящих в эту формулу.