Запис Детальніше

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

eKMAIR

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