Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2017 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144047 |
| 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: | Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-144047 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, О.С. 2018-11-19T18:53:41Z 2018-11-19T18:53:41Z 2017 Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144047 004.42:510.69 Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і логіках антитонних предикатів. Наведено приклади, які засвідчують відмінності одних відношень від інших, та встановлено співвідношення між різними відношеннями логічного наслідку. Исследованы отношения логического следствия в чистых первопорядковых композиционно-номинативных логиках частичных однозначных и частичных неоднозначных квазиарных предикатов. Описаны композиционные предикатные алгебры, языки и классы интерпретаций (семантики) этих логик, выделен ряд отношений логического следствия. Основное внимание акцентировано на изучении таких отношений в логиках монотонных предикатов и логиках антитонных предикатов. Для этих логик определено 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів Отношения логического следствия в логиках монотонных предикатов и логиках антитонных предикатов Logical consequence relations in logics of monotone predicates and logics of antitone predicates Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| spellingShingle |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів Шкільняк, О.С. Теоретичні та методологічні основи програмування |
| title_short |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_full |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_fullStr |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_full_unstemmed |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| title_sort |
відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2017 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Отношения логического следствия в логиках монотонных предикатов и логиках антитонных предикатов Logical consequence relations in logics of monotone predicates and logics of antitone predicates |
| description |
Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і логіках антитонних предикатів. Наведено приклади, які засвідчують відмінності одних відношень від інших, та встановлено співвідношення між різними відношеннями логічного наслідку.
Исследованы отношения логического следствия в чистых первопорядковых композиционно-номинативных логиках частичных однозначных и частичных неоднозначных квазиарных предикатов. Описаны композиционные предикатные алгебры, языки и классы интерпретаций (семантики) этих логик, выделен ряд отношений логического следствия. Основное внимание акцентировано на изучении таких отношений в логиках монотонных предикатов и логиках антитонных предикатов. Для этих логик определено 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144047 |
| citation_txt |
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / О.С. Шкільняк // Проблеми програмування. — 2017. — № 1. — С. 21-29. — Бібліогр.: 5 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkos vídnošennâlogíčnogonaslídkuvlogíkahmonotonnihpredikatívtalogíkahantitonnihpredikatív AT škílʹnâkos otnošeniâlogičeskogosledstviâvlogikahmonotonnyhpredikatovilogikahantitonnyhpredikatov AT škílʹnâkos logicalconsequencerelationsinlogicsofmonotonepredicatesandlogicsofantitonepredicates |
| first_indexed |
2025-12-07T20:11:57Z |
| last_indexed |
2025-12-07T20:11:57Z |
| _version_ |
1850881676131958784 |