Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропо...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2016 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/132045 |
| 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: | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-132045 |
|---|---|
| record_format |
dspace |
| spelling |
Нікітченко, М.С. Шкільняк, С.С. 2018-04-10T12:40:34Z 2018-04-10T12:40:34Z 2016 Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/132045 004.42:510.69 Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу. A new class of program-oriented logics is proposed – pure first-order logics with quasiary and n-ary predicates. They integrate classical first-order logics and composition-nominative logics of quasiary predicates. Logics languages are described and their semantic properties are formulated. Sequent calculi are built for irrefutability, truth, falsity, and strong consequence relations. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Концептуально-теоретичні проблеми штучного інтелекту і моделювання Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Logics with quasiary and N-ary predicates: semantic and syntaсtic aspects Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| spellingShingle |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Нікітченко, М.С. Шкільняк, С.С. Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| title_short |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_full |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_fullStr |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_full_unstemmed |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_sort |
логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| topic |
Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| topic_facet |
Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| publishDate |
2016 |
| language |
Ukrainian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Logics with quasiary and N-ary predicates: semantic and syntaсtic aspects |
| description |
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу.
A new class of program-oriented logics is proposed – pure first-order logics with quasiary and n-ary predicates. They integrate classical first-order logics and composition-nominative logics of quasiary predicates. Logics languages are described and their semantic properties are formulated. Sequent calculi are built for irrefutability, truth, falsity, and strong consequence relations.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/132045 |
| citation_txt |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms logíkiízkvazíarnimitanarnimipredikatamisemantičnítasintaksičníaspekti AT škílʹnâkss logíkiízkvazíarnimitanarnimipredikatamisemantičnítasintaksičníaspekti AT níkítčenkoms logicswithquasiaryandnarypredicatessemanticandsyntasticaspects AT škílʹnâkss logicswithquasiaryandnarypredicatessemanticandsyntasticaspects |
| first_indexed |
2025-12-07T20:32:09Z |
| last_indexed |
2025-12-07T20:32:09Z |
| _version_ |
1850882947059548160 |