Композиційно-номінативні логіки з непрямим іменуванням

T.V. Rossada, О.С. Shkilniak

Abstract


We construct sequent calculi for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multi-ple-valued quasi-ary predicates of quantifier level. The defined calculi are proposed for a general case of logics of quasi-ary predicates, for logics of single-valued equitone predicates and for logics of total multiple-valued antytone predicates. For the introduced calculi soundness and completeness theorems are proved.

Keywords


композиційно-номінативні логіки

References


Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы // Проблеми програмування. – 1999. – № 1. – С. 16–31.

Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К.: ВПЦ Київський університет, 2008. – 528 с.

Никитченко Н.С. Композиционно-номинативные аспекты адресного программирования // Кибернетика и системный анализ. – 2009. – № 6. – С. 24–35.

Басараб И.А., Никитченко Н.С., Редько В.Н. Композиционные базы данных. – К.: Либідь, 1992. –192 с.

Гнеденко Б.В., Королюк В.С., Ющенко Е.Л. Элементы программирования. – М.: Физматгиз, 1961. – 348 с.


Refbacks

  • There are currently no refbacks.