Логики квазиарных предикатов первого порядка
Досліджуються композиційно-номінативні логіки квазіарних предикатів. Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових логік квазіарних предикатів. Для загального випадку логік квазіарних предикатів кванторного рівня побудовано числення секвенційного типу, доведені йог...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2010 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/45645 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45645 |
|---|---|
| record_format |
dspace |
| spelling |
Шкильняк, С.С. 2013-06-17T06:19:06Z 2013-06-17T06:19:06Z 2010 Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45645 004.4 Досліджуються композиційно-номінативні логіки квазіарних предикатів. Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових логік квазіарних предикатів. Для загального випадку логік квазіарних предикатів кванторного рівня побудовано числення секвенційного типу, доведені його коректність і повнота. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Логики квазиарных предикатов первого порядка Логіки квазіарних предикатів першого порядку First-order logics of quasi-ary predicates Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Логики квазиарных предикатов первого порядка |
| spellingShingle |
Логики квазиарных предикатов первого порядка Шкильняк, С.С. Кибернетика |
| title_short |
Логики квазиарных предикатов первого порядка |
| title_full |
Логики квазиарных предикатов первого порядка |
| title_fullStr |
Логики квазиарных предикатов первого порядка |
| title_full_unstemmed |
Логики квазиарных предикатов первого порядка |
| title_sort |
логики квазиарных предикатов первого порядка |
| author |
Шкильняк, С.С. |
| author_facet |
Шкильняк, С.С. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Логіки квазіарних предикатів першого порядку First-order logics of quasi-ary predicates |
| 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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45645 |
| citation_txt |
Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос. |
| work_keys_str_mv |
AT škilʹnâkss logikikvaziarnyhpredikatovpervogoporâdka AT škilʹnâkss logíkikvazíarnihpredikatívperšogoporâdku AT škilʹnâkss firstorderlogicsofquasiarypredicates |
| first_indexed |
2025-12-07T18:56:42Z |
| last_indexed |
2025-12-07T18:56:42Z |
| _version_ |
1850876942151057408 |