Властивості відношень логічного наслідку в логіках квазіарних предикатів
У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних з елімінацією...
Gespeichert in:
| Veröffentlicht in: | Искусственный интеллект |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/85208 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-85208 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, С.С. 2015-07-21T17:24:22Z 2015-07-21T17:24:22Z 2013 Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/85208 004.42:510.69 У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних з елімінацією кванторів. Для опису таких властивостей використано спеціальні предикати, які визначають наявність значення для змінних. В статье исследованы отношения логического следствия для множеств формул в чистых первопорядковых композиционно-номинативных логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Основное внимание уделено изучению свойств отношений, связанных с элиминацией кванторов. Для описания таких свойств использованы специальные предикаты, опреде- ляющие наличие значений для переменных. 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. uk Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем Властивості відношень логічного наслідку в логіках квазіарних предикатів Cвойства отношений логического следствия в логиках квазиарных предикатов Properties of logical consequence relations in 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 |
2013 |
| language |
Ukrainian |
| container_title |
Искусственный интеллект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Cвойства отношений логического следствия в логиках квазиарных предикатов Properties of logical consequence relations in logics of quasi-ary predicates |
| 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/85208 |
| citation_txt |
Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkss vlastivostívídnošenʹlogíčnogonaslídkuvlogíkahkvazíarnihpredikatív AT škílʹnâkss cvoistvaotnošeniilogičeskogosledstviâvlogikahkvaziarnyhpredikatov AT škílʹnâkss propertiesoflogicalconsequencerelationsinlogicsofquasiarypredicates |
| first_indexed |
2025-12-07T18:41:44Z |
| last_indexed |
2025-12-07T18:41:44Z |
| _version_ |
1850876000528760832 |