Logics of quasiary predicates of quantifier-equational level

M.S. Nikitchenko, S.S. Shkilniak

Abstract


First-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical consequence for sets of formulas and the Х–Y-valued relations of logical consequence. On this basis we construct sequent calculi for logics of single-valued quasi-ary predicates of quantifier-equational level.


Keywords


Composition-nominative logics

Full Text:

PDF (Ukrainian)

References


Handbook of Logic in Computer Science. Edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum. – Oxford Univ. Press. – Vol. 1–5, 1993–2000.

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

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

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

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

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

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

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

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

Нікітченко М.С., Шкільняк С.С. Композиційно-номінативні логіки кванторно-екваційного рівня // Вісник Київського ун-ту. Серія: кібернетика. – 2011. – Вип. 11. – C. 32–40.


Refbacks

  • There are currently no refbacks.