Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень....
Збережено в:
| Дата: | 2013 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Назва видання: | Компьютерная математика |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84752 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84752 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-847522015-07-15T03:02:09Z Секвенційні системи логічного виведення першопорядкових логік часткових предикатів Шкільняк, С.С. Экспертные системы, методы индуктивного вывода Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень. Для чистых первопорядковых логик частичных однозначных и частичных неоднозначных предикатов построены секвенциальные исчисления. При этом использованы специальные предикаты-индикаторы наличия значения для переменных. Доказаны корректность и полнота таких исчислений. 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. 2013 Article Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84752 004.42:510.69 uk Компьютерная математика Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода |
| spellingShingle |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода Шкільняк, С.С. Секвенційні системи логічного виведення першопорядкових логік часткових предикатів Компьютерная математика |
| description |
Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень. |
| format |
Article |
| author |
Шкільняк, С.С. |
| author_facet |
Шкільняк, С.С. |
| author_sort |
Шкільняк, С.С. |
| title |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_short |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_full |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_fullStr |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_full_unstemmed |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| title_sort |
секвенційні системи логічного виведення першопорядкових логік часткових предикатів |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2013 |
| topic_facet |
Экспертные системы, методы индуктивного вывода |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84752 |
| citation_txt |
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр. |
| series |
Компьютерная математика |
| work_keys_str_mv |
AT škílʹnâkss sekvencíjnísistemilogíčnogovivedennâperšoporâdkovihlogíkčastkovihpredikatív |
| first_indexed |
2023-10-18T19:29:37Z |
| last_indexed |
2023-10-18T19:29:37Z |
| _version_ |
1796147110975897600 |