Опис документа:
| |
Автор: | Нікітченко М.С., Шкільняк С.С. |
Назва: | Композиційно-номінативні числення першого порядку |
Рік: | 2001 |
Сторінок: | С. 302-313 |
Тип документу: |
Стаття |
Головний документ: |
Вісник Київського університету |
Анотація: | Будуються аксіоматичні числення першопорядкових композиційно-номінативних логік спеціальних часткових функцій та предикативів - неокласичних логік функціонально-екваційного рівня. Досліджуються синтаксичні властивості таких логік, доводиться коректністьта повнота побудованих числень. |
Пошук: заповніть хоча б одне з полів
|
|