Логічний наслідок та його формалізації в композиційно-номінативних логіках
Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2012 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/56760 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862684347027423232 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках.
Для композиционно-номинативных логик частичных однозначных, тотальных и частичных неодно- значных квазиарных предикатов предложены разные семантики и разные формализации отношения логического следствия. Исследованы свойства таких формализаций, определены соотношения между разными отношениями логического следствия в разных семантиках.
Various semantics and various formalizations of relation of logical consequence for composition nominative logics of partial single-valued, total, and partial multiple-valued quasiary predicates are introduced. The authors study properties of the defined formalizations and specify correlations of different relations of logical consequence in different semantics.
|
| first_indexed | 2025-12-07T15:57:46Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-56760 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T15:57:46Z |
| publishDate | 2012 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2014-02-23T15:02:22Z 2014-02-23T15:02:22Z 2012 Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/56760 004.42:510.69 Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках. Для композиционно-номинативных логик частичных однозначных, тотальных и частичных неодно- значных квазиарных предикатов предложены разные семантики и разные формализации отношения логического следствия. Исследованы свойства таких формализаций, определены соотношения между разными отношениями логического следствия в разных семантиках. Various semantics and various formalizations of relation of logical consequence for composition nominative logics of partial single-valued, total, and partial multiple-valued quasiary predicates are introduced. The authors study properties of the defined formalizations and specify correlations of different relations of logical consequence in different semantics. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Нейронные сети и нейросетевые технологии. Информационная безопасность ИС Логічний наслідок та його формалізації в композиційно-номінативних логіках Логическое следствие и его формализации в композиционно-номинативных логиках Logical Consequence and its Formalizations in Composition Nominative Logics Article published earlier |
| spellingShingle | Логічний наслідок та його формалізації в композиційно-номінативних логіках Шкільняк, С.С. Нейронные сети и нейросетевые технологии. Информационная безопасность ИС |
| title | Логічний наслідок та його формалізації в композиційно-номінативних логіках |
| title_alt | Логическое следствие и его формализации в композиционно-номинативных логиках Logical Consequence and its Formalizations in Composition Nominative Logics |
| title_full | Логічний наслідок та його формалізації в композиційно-номінативних логіках |
| title_fullStr | Логічний наслідок та його формалізації в композиційно-номінативних логіках |
| title_full_unstemmed | Логічний наслідок та його формалізації в композиційно-номінативних логіках |
| title_short | Логічний наслідок та його формалізації в композиційно-номінативних логіках |
| title_sort | логічний наслідок та його формалізації в композиційно-номінативних логіках |
| topic | Нейронные сети и нейросетевые технологии. Информационная безопасность ИС |
| topic_facet | Нейронные сети и нейросетевые технологии. Информационная безопасность ИС |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/56760 |
| work_keys_str_mv | AT škílʹnâkss logíčniinaslídoktaiogoformalízacíívkompozicíinonomínativnihlogíkah AT škílʹnâkss logičeskoesledstvieiegoformalizaciivkompozicionnonominativnyhlogikah AT škílʹnâkss logicalconsequenceanditsformalizationsincompositionnominativelogics |