DSpace О системе DSpace
україн русск eng
[Зарегистрироваться]
 

Repository at Odesa I.Mechnikov National University >
Інститут математики, економіки та механіки - ІМЕМ >
Вісник ОНУ. Сер. "Математика і механіка" >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.onu.edu.ua:8080/handle/123456789/398

Название: Сепарационное свойство для доказуемостно-интуиционистского исчисления
Другие названия: Сепараційна властивість для доводжувально-інтуіціоністського числення
Seperable property for proof-intuistionistic calculus
Авторы: Симонова, Ирина Гаяновна
Симонова, Ірина Гаянівна
Simonova, Irina G.
Ключевые слова: доказуемостно-интуиционистское исчисление
сепарационное свойство
вывод формулы
приведенный вывод
доводжувально-інтуіціоністське числення
сепараційна властивість
вивод формули
приведенний висновок
proof-intuitionistic calculus
seperable property
deduction of a formula
reduced deduction
Дата публикации: 2008
Издатель: Одеський національний університет імені І. І. Мечникова
Источник: Вiсник Одеського нацiонального унiверситету = Odesa National University Herald
Серия/номер: Математика і механіка;Т. 13, вип. 17
Краткий осмотр (реферат): В настоящей статье доказывается выполнимость сепарационного свойства для исчисления 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
Располагается в коллекциях:Вісник ОНУ. Сер. "Математика і механіка"

Файлы этого ресурса:

Файл Описание РазмерФормат
73-85.pdf1,05 MBAdobe PDFПросмотреть/Открыть
View Statistics

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.

 

п╞пҐпЄп╣п╨я│ я├п╦я┌п╦я─п╬п╡п╟пҐп╦я▐ DSpace Software Copyright © 2002-2005 MIT and Hewlett-Packard - Обратная связь