Логічний наслідок та його формалізації в композиційно-номінативних логіках
Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2012 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/56760 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. |
Institution
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 |