Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
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.
Gespeichert in:
| Datum: | 2007 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Видавничий дім "Академперіодика" НАН України
2007
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1660 |
| 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: | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862619387808186368 |
|---|---|
| author | Пынько, А.П. |
| author_facet | Пынько, А.П. |
| citation_txt | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T13:17:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1660 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-12-07T13:17:14Z |
| publishDate | 2007 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Пынько, А.П. 2008-09-01T14:32:02Z 2008-09-01T14:32:02Z 2007 Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/1660 510.6 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. ru Видавничий дім "Академперіодика" НАН України Інформатика та кібернетика Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства Article published earlier |
| spellingShingle | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства Пынько, А.П. Інформатика та кібернетика |
| title | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_full | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_fullStr | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_full_unstemmed | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_short | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_sort | процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1660 |
| work_keys_str_mv | AT pynʹkoap proceduryvyvodavsekvencialʹnyhisčisleniâhdlâkonečnoznačnyhlogiksopredelitelemravenstva |