Логічний наслідок та його формалізації в композиційно-номінативних логіках
Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2012 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
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| id |
nasplib_isofts_kiev_ua-123456789-56760 |
|---|---|
| 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 |
| 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 |
2012 |
| language |
Ukrainian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Логическое следствие и его формализации в композиционно-номинативных логиках Logical Consequence and its Formalizations in Composition Nominative Logics |
| 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/56760 |
| citation_txt |
Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T15:57:46Z |
| last_indexed |
2025-12-07T15:57:46Z |
| _version_ |
1850865684957888512 |