eKMAIR

Секвенційні числення реномінативних логік квазіарних предикатів

Show simple item record

dc.contributor.author Шкільняк, Степан
dc.date.accessioned 2012-12-17T15:16:30Z
dc.date.available 2012-12-17T15:16:30Z
dc.date.issued 2012
dc.identifier.citation Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29. uk_UA
dc.identifier.issn 1996-5931
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/1900
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.language.iso uk uk_UA
dc.publisher ВПЦ НаУКМА 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
dc.status published earlier uk_UA
dc.relation.source Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29. uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics