Please use this identifier to cite or link to this item: http://dspace.onu.edu.ua:8080/handle/123456789/398
Title: Сепарационное свойство для доказуемостно-интуиционистского исчисления
Other Titles: Сепараційна властивість для доводжувально-інтуіціоністського числення
Seperable property for proof-intuistionistic calculus
Authors: Симонова, Ирина Гаяновна
Симонова, Ірина Гаянівна
Simonova, Irina G.
Citation: Вiсник Одеського нацiонального унiверситету = Odesa National University Herald
Issue Date: 2008
Publisher: Одеський національний університет імені І. І. Мечникова
Keywords: доказуемостно-интуиционистское исчисление
сепарационное свойство
вывод формулы
приведенный вывод
доводжувально-інтуіціоністське числення
сепараційна властивість
вивод формули
приведенний висновок
proof-intuitionistic calculus
seperable property
deduction of a formula
reduced deduction
Series/Report no.: Математика і механіка;Т. 13, вип. 17
Abstract: В настоящей статье доказывается выполнимость сепарационного свойства для исчисления I^. Доказательство проводится методом перестройки выводов, позволяющим получать из вывода формулы А ее вывод, не содержащий логических связок, не входящих в эту формулу.
В поданій статті доводиться, що має місце сепараційна властивість для числення І. Доведення використовує метод перебудови виводів, який дає можливість отримати з виводу формули А такий її вивід, що не містить логічний зв'язок, які не входять в цю формулу.
This 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.
URI: http://dspace.onu.edu.ua:8080/handle/123456789/398
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.