Секвенційні числення логік безкванторно-функціональних рівнів
Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повн...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2016 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/132088 |
| 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. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-132088 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Секвенційні числення логік безкванторно-функціональних рівнів |
| spellingShingle |
Секвенційні числення логік безкванторно-функціональних рівнів Шкільняк, С.С. Волковицький, Д.Б. Теорія та засоби обчислювального інтелекту |
| title_short |
Секвенційні числення логік безкванторно-функціональних рівнів |
| title_full |
Секвенційні числення логік безкванторно-функціональних рівнів |
| title_fullStr |
Секвенційні числення логік безкванторно-функціональних рівнів |
| title_full_unstemmed |
Секвенційні числення логік безкванторно-функціональних рівнів |
| title_sort |
секвенційні числення логік безкванторно-функціональних рівнів |
| author |
Шкільняк, С.С. Волковицький, Д.Б. |
| author_facet |
Шкільняк, С.С. Волковицький, Д.Б. |
| topic |
Теорія та засоби обчислювального інтелекту |
| topic_facet |
Теорія та засоби обчислювального інтелекту |
| publishDate |
2016 |
| language |
Ukrainian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Sequent calculi for logics of free-quantifier functional levels |
| 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/132088 |
| citation_txt |
Секвенційні числення логік безкванторно-функціональних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Штучний інтелект. — 2016. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T20:38:01Z |
| last_indexed |
2025-12-07T20:38:01Z |
| _version_ |
1850883316289372160 |