Відношення логічного наслідку для множин формул у композиційно-номінативних логіках
Loading...
Date
2011
Authors
Шкільняк, Степан
Journal Title
Journal ISSN
Volume Title
Publisher
ВПЦ НаУКМА
Abstract
Розглянуто відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних
предикатів. Запропоновано різні формалізації відношення логічного наслідку для множин формул. Досліджено властивості таких формалізацій в різних семантиках для загального випадку логік квазіарних предикатів, для логік еквітонних і логік антитонних предикатів.
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.
Keywords
логіка, предикат, композиційно-номінативний підхід, семантика, логічний наслідок, logic, predicate, composition-nominative approach, semantics, logical consequence
Citation
Шкільняк С. С. Відношення логічного наслідку для множин формул у композиційно-номінативних логіках / Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 22-27.