eKMAIR

Відношення логічного наслідку для множин формул у композиційно-номінативних логіках

Show simple item record

dc.contributor.author Шкільняк, Степан
dc.date.accessioned 2013-03-05T13:46:09Z
dc.date.available 2013-03-05T13:46:09Z
dc.date.issued 2011
dc.identifier.citation Шкільняк С. С. Відношення логічного наслідку для множин формул у композиційно-номінативних логіках / Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27. uk_UA
dc.identifier.issn 1996-5931
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/2171
dc.description Relation of logical consequence for composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued quasi-ary predicates is studied. We propose various formalizations of relation of logical consequence for sets of formulas. Properties of the defined formalizations are investigated in different semantics for general case of logics of quasi-ary predicates and for cases of logics of equitone predicates and logics of antitone predicates. 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 semantics uk_UA
dc.subject logical consequence uk_UA
dc.title Відношення логічного наслідку для множин формул у композиційно-номінативних логіках uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.relation.source Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27. uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics