Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
|
|
| Creator |
Пынько, А.П.
|
|
| Subject |
Інформатика та кібернетика
|
|
| Description |
Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.
|
|
| Date |
2008-09-01T14:32:02Z
2008-09-01T14:32:02Z 2007 |
|
| Type |
Article
|
|
| Identifier |
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус.
1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/1660 510.6 |
|
| Language |
ru
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|