Логики квазиарных предикатов первого порядка
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Логики квазиарных предикатов первого порядка
|
|
Creator |
Шкильняк, С.С.
|
|
Subject |
Кибернетика
|
|
Description |
Досліджуються композиційно-номінативні логіки квазіарних предикатів. Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових логік квазіарних предикатів. Для загального випадку логік квазіарних предикатів кванторного рівня побудовано числення секвенційного типу, доведені його коректність і повнота.
Composition nominative logics of quasi-ary predicates are studied in the paper. The spectrum of composition nominative logics is considered and various classes of first-order logics of quasi-ary predicates are specified. Sequent calculi are constructed for the general case of logics of quasi-ary predicates of quantifier level, and soundness and completeness theorems are proved. |
|
Date |
2013-06-17T06:19:06Z
2013-06-17T06:19:06Z 2010 |
|
Type |
Article
|
|
Identifier |
Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45645 004.4 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|