Властивості відношень логічного наслідку в логіках квазіарних предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Властивості відношень логічного наслідку в логіках квазіарних предикатів
|
|
| Creator |
Шкільняк, С.С.
|
|
| Subject |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
|
|
| Description |
У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних з елімінацією кванторів. Для опису таких властивостей використано спеціальні предикати, які визначають наявність значення для змінних. В статье исследованы отношения логического следствия для множеств формул в чистых первопорядковых композиционно-номинативных логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Основное внимание уделено изучению свойств отношений, связанных с элиминацией кванторов. Для описания таких свойств использованы специальные предикаты, опреде- ляющие наличие значений для переменных. Logical consequence relation for sets of formulas is studied for pure first-order composition-nominative logics of partial single-valued, total and partial multiple-valued predicates. We focus on the properties of relations concerned with quantifier elimination. Special variable definedness predicates are used for description of such properties. |
|
| Date |
2015-07-21T17:24:22Z
2015-07-21T17:24:22Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/85208 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Искусственный интеллект
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|