Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних...
Saved in:
| Date: | 2012 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/69740 |
| 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: | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-69740 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, С.С. 2014-10-20T14:20:34Z 2014-10-20T14:20:34Z 2012 Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/69740 004.42:510.69 На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Секвенційні числення першопорядкових логік однозначних квазіарних предикатів 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 |
2012 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| description |
На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/69740 |
| fulltext |
|
| citation_txt |
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkss sekvencíiníčislennâperšoporâdkovihlogíkodnoznačnihkvazíarnihpredikatív |
| first_indexed |
2025-11-25T20:47:25Z |
| last_indexed |
2025-11-25T20:47:25Z |
| _version_ |
1850535111261421568 |