Властивості відношень логічного наслідку в логіках квазіарних предикатів
У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових
 композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не-
 однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних...
Збережено в:
| Опубліковано в: : | Искусственный интеллект |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/85208 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862723500271206400 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Искусственный интеллект |
| 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.
|
| first_indexed | 2025-12-07T18:41:44Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-85208 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:41:44Z |
| publishDate | 2013 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| 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 |
| spellingShingle | Властивості відношень логічного наслідку в логіках квазіарних предикатів Шкільняк, С.С. Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| title | Властивості відношень логічного наслідку в логіках квазіарних предикатів |
| title_alt | Cвойства отношений логического следствия в логиках квазиарных предикатов Properties of logical consequence relations in logics of quasi-ary predicates |
| title_full | Властивості відношень логічного наслідку в логіках квазіарних предикатів |
| title_fullStr | Властивості відношень логічного наслідку в логіках квазіарних предикатів |
| title_full_unstemmed | Властивості відношень логічного наслідку в логіках квазіарних предикатів |
| title_short | Властивості відношень логічного наслідку в логіках квазіарних предикатів |
| title_sort | властивості відношень логічного наслідку в логіках квазіарних предикатів |
| topic | Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| topic_facet | Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/85208 |
| 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 |