Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
|
|
| Creator |
Пынько, А.П.
|
|
| Subject |
Інформатика та кібернетика
|
|
| Description |
The derivable rules of axiomatic extensions of sequent calculi with structural rules for the prepositional finitely valued logics with an equality determinant are analyzed with the use of methods of logic programming. |
|
| Date |
2009-07-16T09:08:10Z
2009-07-16T09:08:10Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.
1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/4138 510.6 |
|
| Language |
ru
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|