Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень. Для чистых первопорядковых логик частичных...
Gespeichert in:
| Veröffentlicht in: | Компьютерная математика |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84752 |
| 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: | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84752 |
|---|---|
| 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 |
| 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 |
2013 |
| language |
Ukrainian |
| container_title |
Компьютерная математика |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Секвенциальные системы логического вывода чистых первопорядковых логик частичных предикатов Sequent systems of logical deduction for pure first-order logics of partial predicates |
| 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.
|
| issn |
ХХХХ-0003 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84752 |
| citation_txt |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T20:39:18Z |
| last_indexed |
2025-12-07T20:39:18Z |
| _version_ |
1850883397341151233 |