Special relations of logical consequence in logics of quasi-ary predicates

S.S. Shkilniak

Abstract


We introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantifier elimination. Such properties will be the basis for construction of corresponding sequent calculi.

Prombles in programming 2011; 4: 36-48


References


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

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

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

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

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


Refbacks

  • There are currently no refbacks.