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

Секвенційні числення реномінативних логік квазіарних предикатів

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Секвенційні числення реномінативних логік квазіарних предикатів
 
Creator Шкільняк, Степан
 
Subject логіка
предикат
композиційно-номінативний підхід
логічний наслідок
секвенційне числення
logic
predicate
composition-nominative approach
logical consequence
sequent calculi
 
Description Sequent calculi for renominative composition-nominative logics of partial single-valued, total multiplevalued and partial multiple-valued quasi-ary predicates are constructed. The soundness and completeness theorems for these calculi are proved.
Побудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти.
 
Date 2012-12-17T15:16:30Z
2012-12-17T15:16:30Z
2012
 
Type Article
 
Identifier Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.
1996-5931
http://ekmair.ukma.edu.ua/handle/123456789/1900
 
Language ua
 
Relation Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.
 
Publisher ВПЦ НаУКМА