Відношення логічного наслідку в логіках квазіарних предикатів
Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типі...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/126377 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-126377 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1263772017-11-22T03:02:33Z Відношення логічного наслідку в логіках квазіарних предикатів Шкільняк, О.С. Теоретичні та методологічні основи програмування Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів 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. 2016 Article Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/126377 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Шкільняк, О.С. Відношення логічного наслідку в логіках квазіарних предикатів Проблеми програмування |
| description |
Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типів T∨F та С. Описано властивості відношень логічного наслідку. Наведено приклади, які засвідчують відмінності розглянутих відношень. Показана нетранзитивність відношень типів T∨F та С, можливість моделювання відношень типу С за допомогою відношень типу TF. Встановлено співвідношення між різними відношеннями логічного наслідку. |
| format |
Article |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| author_sort |
Шкільняк, О.С. |
| title |
Відношення логічного наслідку в логіках квазіарних предикатів |
| title_short |
Відношення логічного наслідку в логіках квазіарних предикатів |
| title_full |
Відношення логічного наслідку в логіках квазіарних предикатів |
| title_fullStr |
Відношення логічного наслідку в логіках квазіарних предикатів |
| title_full_unstemmed |
Відношення логічного наслідку в логіках квазіарних предикатів |
| title_sort |
відношення логічного наслідку в логіках квазіарних предикатів |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2016 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/126377 |
| citation_txt |
Відношення логічного наслідку в логіках квазіарних предикатів / О.С. Шкільняк // Проблеми програмування. — 2016. — № 1. — С. 29-43. — Бібліогр.: 5 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT škílʹnâkos vídnošennâlogíčnogonaslídkuvlogíkahkvazíarnihpredikatív |
| first_indexed |
2023-10-18T20:50:40Z |
| last_indexed |
2023-10-18T20:50:40Z |
| _version_ |
1796151255265968128 |