Секвенційні числення логік безкванторно-функціональних рівнів
Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повн...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/132088 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Секвенційні числення логік безкванторно-функціональних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Штучний інтелект. — 2016. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862744904853094400 |
|---|---|
| author | Шкільняк, С.С. Волковицький, Д.Б. |
| author_facet | Шкільняк, С.С. Волковицький, Д.Б. |
| citation_txt | Секвенційні числення логік безкванторно-функціональних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Штучний інтелект. — 2016. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повноти. На базі теорем повноти отримано алгоритмічну розв’язність проблем наявності логічного наслідку для скінчених множин формул, проблем неспростовності та тотожної істинності для формул.
In this paper we specify sequent calculi for free-quantifier functional logics and their variants with weak and strong equality. The introduced calculi formalize irrefutability, truth, falsity and strong logical consequence relations. For the proposed calculi we prove the soundness and completeness theorems. On the base of the completeness theorems we obtain an algorithmic solvability of problems of existence of logical consequence for finite sets of formulas, irrefutability problems and identically truth problems for formulas.
|
| first_indexed | 2025-12-07T20:38:01Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-132088 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:38:01Z |
| publishDate | 2016 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. Волковицький, Д.Б. 2018-04-10T18:19:35Z 2018-04-10T18:19:35Z 2016 Секвенційні числення логік безкванторно-функціональних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Штучний інтелект. — 2016. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/132088 004.42:510.69 Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повноти. На базі теорем повноти отримано алгоритмічну розв’язність проблем наявності логічного наслідку для скінчених множин формул, проблем неспростовності та тотожної істинності для формул. In this paper we specify sequent calculi for free-quantifier functional logics and their variants with weak and strong equality. The introduced calculi formalize irrefutability, truth, falsity and strong logical consequence relations. For the proposed calculi we prove the soundness and completeness theorems. On the base of the completeness theorems we obtain an algorithmic solvability of problems of existence of logical consequence for finite sets of formulas, irrefutability problems and identically truth problems for formulas. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Теорія та засоби обчислювального інтелекту Секвенційні числення логік безкванторно-функціональних рівнів Sequent calculi for logics of free-quantifier functional levels Article published earlier |
| spellingShingle | Секвенційні числення логік безкванторно-функціональних рівнів Шкільняк, С.С. Волковицький, Д.Б. Теорія та засоби обчислювального інтелекту |
| title | Секвенційні числення логік безкванторно-функціональних рівнів |
| title_alt | Sequent calculi for logics of free-quantifier functional levels |
| title_full | Секвенційні числення логік безкванторно-функціональних рівнів |
| title_fullStr | Секвенційні числення логік безкванторно-функціональних рівнів |
| title_full_unstemmed | Секвенційні числення логік безкванторно-функціональних рівнів |
| title_short | Секвенційні числення логік безкванторно-функціональних рівнів |
| title_sort | секвенційні числення логік безкванторно-функціональних рівнів |
| topic | Теорія та засоби обчислювального інтелекту |
| topic_facet | Теорія та засоби обчислювального інтелекту |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/132088 |
| work_keys_str_mv | AT škílʹnâkss sekvencíiníčislennâlogíkbezkvantornofunkcíonalʹnihrívnív AT volkovicʹkiidb sekvencíiníčislennâlogíkbezkvantornofunkcíonalʹnihrívnív AT škílʹnâkss sequentcalculiforlogicsoffreequantifierfunctionallevels AT volkovicʹkiidb sequentcalculiforlogicsoffreequantifierfunctionallevels |