Sequent calculi for first-order logics of single-valued quasi-ary predicates

S.S. Shkilniak

Abstract


On the basis of properties of various relations of logical consequence, we specify sequent calculi for first-order composition-nominative logics of single-valued quasi-ary predicates of quantifier level. Such calculi are constructed for logics of equtone predicates and for a general case of logics of single-valued quasi-ary predicates. For the introduced calculi soundness and completeness theorems are proved. 


References


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

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

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

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

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

Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К., 2008. – 528 с.

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


Refbacks

  • There are currently no refbacks.