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

Скорочена інформація про документ
dc.contributor.authorСимонова, Ирина Гаяновна
dc.contributor.authorСимонова, Ірина Гаянівна
dc.contributor.authorSimonova, Irina G.
dc.date.accessioned2010-09-16T09:02:13Z
dc.date.available2010-09-16T09:02:13Z
dc.date.issued2008
dc.description.abstractВ настоящей статье доказывается выполнимость сепарационного свойства для исчисления I^. Доказательство проводится методом перестройки выводов, позволяющим получать из вывода формулы А ее вывод, не содержащий логических связок, не входящих в эту формулу.uk
dc.description.abstractВ поданій статті доводиться, що має місце сепараційна властивість для числення І. Доведення використовує метод перебудови виводів, який дає можливість отримати з виводу формули А такий її вивід, що не містить логічний зв'язок, які не входять в цю формулу.
dc.description.abstractThis article shows that seperable property is true for calculus I. The proof is beinq done by the transformation of deduction allowinq to qet the deduction from formula A, without possessinq any loqical symbol whick do not belonq to this formula.
dc.identifier.citationВiсник Одеського нацiонального унiверситету = Odesa National University Heralduk
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/398
dc.publisherОдеський національний університет імені І. І. Мечниковаuk
dc.relation.ispartofseriesМатематика і механіка;Т. 13, вип. 17
dc.subjectдоказуемостно-интуиционистское исчислениеuk
dc.subjectсепарационное свойствоuk
dc.subjectвывод формулыuk
dc.subjectприведенный выводuk
dc.subjectдоводжувально-інтуіціоністське численняuk
dc.subjectсепараційна властивістьuk
dc.subjectвивод формулиuk
dc.subjectприведенний висновокuk
dc.subjectproof-intuitionistic calculusuk
dc.subjectseperable propertyuk
dc.subjectdeduction of a formulauk
dc.subjectreduced deductionuk
dc.titleСепарационное свойство для доказуемостно-интуиционистского исчисленияuk
dc.title.alternativeСепараційна властивість для доводжувально-інтуіціоністського численняuk
dc.title.alternativeSeperable property for proof-intuistionistic calculusuk
dc.typeArticleuk
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
73-85.pdf
Розмір:
1.02 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.82 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Дослiдження в математицi i механiцi