Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень. Для чистых первопорядковых логик частичных...
Saved in:
| Published in: | Компьютерная математика |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84752 |
| 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: | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862745124590583808 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| description | Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень.
Для чистых первопорядковых логик частичных однозначных и частичных неоднозначных предикатов построены секвенциальные исчисления. При этом использованы специальные предикаты-индикаторы наличия значения для переменных. Доказаны корректность и полнота таких исчислений.
We construct sequent calculi for pure first-order logics of partial single-valued and partial multivalued predicates. Special variable definedness predicates are used for the construction. The soundness and completeness of this calculi are proved.
|
| first_indexed | 2025-12-07T20:39:18Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84752 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | ХХХХ-0003 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:39:18Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2015-07-14T15:46:38Z 2015-07-14T15:46:38Z 2013 Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. ХХХХ-0003 https://nasplib.isofts.kiev.ua/handle/123456789/84752 004.42:510.69 Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень. Для чистых первопорядковых логик частичных однозначных и частичных неоднозначных предикатов построены секвенциальные исчисления. При этом использованы специальные предикаты-индикаторы наличия значения для переменных. Доказаны корректность и полнота таких исчислений. We construct sequent calculi for pure first-order logics of partial single-valued and partial multivalued predicates. Special variable definedness predicates are used for the construction. The soundness and completeness of this calculi are proved. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Экспертные системы, методы индуктивного вывода Секвенційні системи логічного виведення першопорядкових логік часткових предикатів Секвенциальные системы логического вывода чистых первопорядковых логик частичных предикатов Sequent systems of logical deduction for pure first-order logics of partial predicates Article published earlier |
| spellingShingle | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів Шкільняк, С.С. Экспертные системы, методы индуктивного вывода |
| title | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_alt | Секвенциальные системы логического вывода чистых первопорядковых логик частичных предикатов Sequent systems of logical deduction for pure first-order logics of partial predicates |
| title_full | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_fullStr | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_full_unstemmed | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_short | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_sort | секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| topic | Экспертные системы, методы индуктивного вывода |
| topic_facet | Экспертные системы, методы индуктивного вывода |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84752 |
| work_keys_str_mv | AT škílʹnâkss sekvencíinísistemilogíčnogovivedennâperšoporâdkovihlogíkčastkovihpredikatív AT škílʹnâkss sekvencialʹnyesistemylogičeskogovyvodačistyhpervoporâdkovyhlogikčastičnyhpredikatov AT škílʹnâkss sequentsystemsoflogicaldeductionforpurefirstorderlogicsofpartialpredicates |