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

S.S. Shkilniak

Abstract


Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано для загального випадку логік квазіарних предикатів, для логік однозначних еквітонних та логік тотальних антитонних предикатів. Для побудованих числень доведено теореми коректності та повноти.
We construct sequent calculi for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued quasiary predicates of quantifier level. The defined calculi are proposed for a general case of logics of quasiary 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 с.

Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках // Проблеми програмування. – 2010. –№ 1. – C. 15–38.

Шкильняк С.С. Логики квазиарных предикатов первого порядка // Кибернетика и системный анализ. – 2010. – № 6. – С. 32–49.

Шкільняк С.С. Секвенційні числення першопорядових логік однозначних квазіарних предикатів // Проблеми програмування. – 2012. – № 1. – C. 34–51.

Шкільняк С.С. Спеціальні відношення логічного наслідку в логіках квазіарних предикатів // Проблеми програмування. – 2011. – № 4. – C. 36–48.

Клини С. Математическая логика. – М., 1973. – 480 с.

Смирнова Е.Д. Логика и философия. – М., 1996. – 304 с.


Refbacks

  • There are currently no refbacks.