Відношення логічного наслідку для множин формул у композиційно-номінативних логіках
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Шкільняк, Степан
|
|
| Date |
2013-03-05T13:46:09Z
2013-03-05T13:46:09Z 2011 |
|
| Identifier |
Шкільняк С. С. Відношення логічного наслідку для множин формул у композиційно-номінативних логіках / Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27.
1996-5931 http://www.ekmair.ukma.kiev.ua/handle/123456789/2171 |
|
| 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.
Розглянуто відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Запропоновано різні формалізації відношення логічного наслідку для множин формул. Досліджено властивості таких формалізацій в різних семантиках для загального випадку логік квазіарних предикатів, для логік еквітонних і логік антитонних предикатів. |
|
| Language |
ua
|
|
| Publisher |
ВПЦ НаУКМА
|
|
| Subject |
логіка
предикат композиційно-номінативний підхід семантика логічний наслідок logic predicate composition-nominative approach semantics logical consequence |
|
| Title |
Відношення логічного наслідку для множин формул у композиційно-номінативних логіках
|
|
| Type |
Article
|
|
| Relation |
Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27.
|
|