Please use this identifier to cite or link to this item: http://dspace.onu.edu.ua:8080/handle/123456789/398
Full metadata record
DC FieldValueLanguage
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.identifier.citationВiсник Одеського нацiонального унiверситету = Odesa National University Heralduk
dc.identifier.urihttp://dspace.onu.edu.ua:8080/handle/123456789/398-
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.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
Appears in Collections:Дослiдження в математицi i механiцi

Files in This Item:
File Description SizeFormat 
73-85.pdf1.05 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.