Секвенційні числення реномінативних логік квазіарних предикатів
dc.contributor.author | Шкільняк, Степан | |
dc.date.accessioned | 2012-12-17T15:16:30Z | |
dc.date.available | 2012-12-17T15:16:30Z | |
dc.date.issued | 2012 | |
dc.description | Sequent calculi for renominative composition-nominative logics of partial single-valued, total multiplevalued and partial multiple-valued quasi-ary predicates are constructed. The soundness and completeness theorems for these calculi are proved. | uk_UA |
dc.description.abstract | Побудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти. | uk_UA |
dc.identifier.citation | Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29. | uk_UA |
dc.identifier.issn | 1996-5931 | |
dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/1900 | |
dc.language.iso | uk | uk_UA |
dc.publisher | ВПЦ НаУКМА | uk_UA |
dc.relation.source | Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29. | uk_UA |
dc.status | published earlier | uk_UA |
dc.subject | логіка | uk_UA |
dc.subject | предикат | uk_UA |
dc.subject | композиційно-номінативний підхід | uk_UA |
dc.subject | логічний наслідок | uk_UA |
dc.subject | секвенційне числення | uk_UA |
dc.subject | logic | uk_UA |
dc.subject | predicate | uk_UA |
dc.subject | composition-nominative approach | uk_UA |
dc.subject | logical consequence | uk_UA |
dc.subject | sequent calculi | uk_UA |
dc.title | Секвенційні числення реномінативних логік квазіарних предикатів | uk_UA |
dc.type | Article | uk_UA |