Секвенційні числення реномінативних логік квазіарних предикатів
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Шкільняк, Степан
|
|
| Date |
2012-12-17T15:16:30Z
2012-12-17T15:16:30Z 2012 |
|
| Identifier |
Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.
1996-5931 http://www.ekmair.ukma.kiev.ua/handle/123456789/1900 |
|
| Description |
Sequent calculi for renominative composition-nominative logics of partial single-valued, total multiplevalued and partial multiple-valued quasi-ary predicates are constructed. The soundness and completeness theorems for these calculi are proved.
Побудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти. |
|
| Language |
ua
|
|
| Publisher |
ВПЦ НаУКМА
|
|
| Subject |
логіка
предикат композиційно-номінативний підхід логічний наслідок секвенційне числення logic predicate composition-nominative approach logical consequence sequent calculi |
|
| Title |
Секвенційні числення реномінативних логік квазіарних предикатів
|
|
| Type |
Article
|
|
| Relation |
Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.
|
|