Відношення логічного наслідку для множин формул у композиційно-номінативних логіках
| dc.contributor.author | Шкільняк, Степан | |
| dc.date.accessioned | 2013-03-05T13:46:09Z | |
| dc.date.available | 2013-03-05T13:46:09Z | |
| dc.date.issued | 2011 | |
| 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.identifier.citation | Шкільняк С. С. Відношення логічного наслідку для множин формул у композиційно-номінативних логіках / Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27. | uk_UA |
| dc.identifier.issn | 1996-5931 | |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/2171 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | ВПЦ НаУКМА | uk_UA |
| dc.relation.source | Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27. | 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 | semantics | uk_UA |
| dc.subject | logical consequence | uk_UA |
| dc.title | Відношення логічного наслідку для множин формул у композиційно-номінативних логіках | uk_UA |
| dc.type | Article | uk_UA |