Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і...
Збережено в:
| Дата: | 2017 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2017
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144047 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-144047 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1440472018-11-20T01:23:20Z Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів Шкільняк, О.С. Теоретичні та методологічні основи програмування Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і логіках антитонних предикатів. Наведено приклади, які засвідчують відмінності одних відношень від інших, та встановлено співвідношення між різними відношеннями логічного наслідку. Исследованы отношения логического следствия в чистых первопорядковых композиционно-номинативных логиках частичных однозначных и частичных неоднозначных квазиарных предикатов. Описаны композиционные предикатные алгебры, языки и классы интерпретаций (семантики) этих логик, выделен ряд отношений логического следствия. Основное внимание акцентировано на изучении таких отношений в логиках монотонных предикатов и логиках антитонных предикатов. Для этих логик определено 20 отношений логического следствия, установлено, что из них лишь 7 раз-личных: PE |= IR , PE |= T , PE |= F , PE |= TF , RM |= T , RM |= F , RM |= TF . Приведены примеры, свидетельствующие о различии рассмотренных отношений логического следствия, установлены соотношения между такими отношениями. Logical consequence is one of the fundamental concepts in logic. In this paper we study logical consequence relations for program-oriented logical formalisms: pure first-order composition nominative logics of quasiary predicates. In our research we are giving special attention to different types of logical consequence relations in various semantics of logics of monotone predicates and logics of antitone predicates. For pure first-order logics of quasiary predicates we specify composition algebras of predicates, languages, interpretation classes (sematics) and logical consequence relations. We obtain the pairwise distinct relations: irrefutability consequence P |= IR , consequence on truth P |= T , consequence on falsity P |= F, strong consequence P |= TF in P-sеmantics of partial singlevalued predicates and strong consequence R |= TF in R-sеmantics of partial multi-valued predicates. Of the total of 20 of defined logical consequence relations in logics of monotone predicates and of antitone predicates, the following ones are pairwise distinct: PE |= IR, PE |= T, PE |= F, PE |= TF, RM |= T, RM |= F, RM |= TF. A number of examples showing the differences between various types of logical consequence relations is given. We summarize the results concerning the existence of a particular logical consequence relation for certain sets of formulas in a table and determine interrelations between different types of logical consequence relations. 2017 Article Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144047 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Шкільняк, О.С. Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів Проблеми програмування |
| description |
Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і логіках антитонних предикатів. Наведено приклади, які засвідчують відмінності одних відношень від інших, та встановлено співвідношення між різними відношеннями логічного наслідку. |
| format |
Article |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| author_sort |
Шкільняк, О.С. |
| title |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_short |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_full |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_fullStr |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_full_unstemmed |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_sort |
відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2017 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/144047 |
| citation_txt |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT škílʹnâkos vídnošennâlogíčnogonaslídkuvlogíkahmonotonnihpredikatívtalogíkahantitonnihpredikatív |
| first_indexed |
2023-05-20T17:18:37Z |
| last_indexed |
2023-05-20T17:18:37Z |
| _version_ |
1796153004200558592 |