Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
|
|
| Creator |
Шкільняк, С.С.
|
|
| Subject |
Экспертные системы, методы индуктивного вывода
|
|
| 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. |
|
| Date |
2015-07-14T15:46:38Z
2015-07-14T15:46:38Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр.
ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84752 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Компьютерная математика
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|