Відношення логічного наслідку в логіках квазіарних предикатів
Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типі...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126377 |
| 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: | Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862549584939581440 |
|---|---|
| author | Шкільняк, О.С. |
| author_facet | Шкільняк, О.С. |
| citation_txt | Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типів T∨F та С. Описано властивості відношень логічного наслідку. Наведено приклади, які засвідчують відмінності розглянутих відношень. Показана нетранзитивність відношень типів T∨F та С, можливість моделювання відношень типу С за допомогою відношень типу TF. Встановлено співвідношення між різними відношеннями логічного наслідку.
Изучаются отношения логического следствия в логиках тотальных однозначных, частичных однозначных, тотальных неоднозначных и частичных неоднозначны предикатов. Наряду из ранее рассмотренными отношениями типов T, F, TF, IR, DI, для логик квазиарных предикатов предлжены и исследованы отношения типов T∨F и С. Описаны свойства отношений логического следствия. Приведены примеры, свидетельствующие о различии рассмотренных отношений. Показана нетранзитивность отношений типов TvF и С, возможность моделирования отношений типа С с помощью отношений типа TF. Установлены соотношения между различными отношениями логического следствия.
Logical consequence is one of the most fundamental concepts in logic. A wide use of partial (sometimes many-valued as well) mappings in programming makes important the investigation of logics of partial and many-valued predicates and logical consequence relations for them. Such relations are a semantic base for a corresponding sequent calculi construction. In this paper we consider logical consequence relations for composition nominative logics of total single-valued, partial single-valued, total many-valued and partial many-valued quasiary predicates. Properties of the relations can be different for different classes of predicates; they coincide in the case of classical logic. Relations of the types T, F, TF, IR and DI were investigated in the earlier works. Here we propose relations of the types T∨F and С for logics of quasiary predicates. The difference between these two relations manifests already on the propositional level. Properties of logical consequence relations are specified for formulas and sets of formulas. We consider partial cases when one of the sets of formulas is empty. It is shown that relations P|=T∨F and R|=С are non-transitive, some properties of decomposition of formulas are not true for R|=С, but at the same time the latter can be modelled through R|=TF. A number of examples demonstrates particularities and distinctions of the defined relations. We also establish a relationship among various logical consequence relations.
|
| first_indexed | 2025-11-25T20:35:31Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-126377 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T20:35:31Z |
| publishDate | 2016 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. 2017-11-21T19:12:46Z 2017-11-21T19:12:46Z 2016 Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/126377 004.42:510.69 Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типів T∨F та С. Описано властивості відношень логічного наслідку. Наведено приклади, які засвідчують відмінності розглянутих відношень. Показана нетранзитивність відношень типів T∨F та С, можливість моделювання відношень типу С за допомогою відношень типу TF. Встановлено співвідношення між різними відношеннями логічного наслідку. Изучаются отношения логического следствия в логиках тотальных однозначных, частичных однозначных, тотальных неоднозначных и частичных неоднозначны предикатов. Наряду из ранее рассмотренными отношениями типов T, F, TF, IR, DI, для логик квазиарных предикатов предлжены и исследованы отношения типов T∨F и С. Описаны свойства отношений логического следствия. Приведены примеры, свидетельствующие о различии рассмотренных отношений. Показана нетранзитивность отношений типов TvF и С, возможность моделирования отношений типа С с помощью отношений типа TF. Установлены соотношения между различными отношениями логического следствия. Logical consequence is one of the most fundamental concepts in logic. A wide use of partial (sometimes many-valued as well) mappings in programming makes important the investigation of logics of partial and many-valued predicates and logical consequence relations for them. Such relations are a semantic base for a corresponding sequent calculi construction. In this paper we consider logical consequence relations for composition nominative logics of total single-valued, partial single-valued, total many-valued and partial many-valued quasiary predicates. Properties of the relations can be different for different classes of predicates; they coincide in the case of classical logic. Relations of the types T, F, TF, IR and DI were investigated in the earlier works. Here we propose relations of the types T∨F and С for logics of quasiary predicates. The difference between these two relations manifests already on the propositional level. Properties of logical consequence relations are specified for formulas and sets of formulas. We consider partial cases when one of the sets of formulas is empty. It is shown that relations P|=T∨F and R|=С are non-transitive, some properties of decomposition of formulas are not true for R|=С, but at the same time the latter can be modelled through R|=TF. A number of examples demonstrates particularities and distinctions of the defined relations. We also establish a relationship among various logical consequence relations. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Відношення логічного наслідку в логіках квазіарних предикатів Отношения логического следствия в логиках квазиарных предикатов Logical consequence relations in logics of quasiary predicates Article published earlier |
| spellingShingle | Відношення логічного наслідку в логіках квазіарних предикатів Шкільняк, О.С. Теоретичні та методологічні основи програмування |
| title | Відношення логічного наслідку в логіках квазіарних предикатів |
| title_alt | Отношения логического следствия в логиках квазиарных предикатов Logical consequence relations in logics of quasiary predicates |
| title_full | Відношення логічного наслідку в логіках квазіарних предикатів |
| title_fullStr | Відношення логічного наслідку в логіках квазіарних предикатів |
| title_full_unstemmed | Відношення логічного наслідку в логіках квазіарних предикатів |
| title_short | Відношення логічного наслідку в логіках квазіарних предикатів |
| title_sort | відношення логічного наслідку в логіках квазіарних предикатів |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/126377 |
| work_keys_str_mv | AT škílʹnâkos vídnošennâlogíčnogonaslídkuvlogíkahkvazíarnihpredikatív AT škílʹnâkos otnošeniâlogičeskogosledstviâvlogikahkvaziarnyhpredikatov AT škílʹnâkos logicalconsequencerelationsinlogicsofquasiarypredicates |