Compositional-nominative logics over hierarchical data

M.S. Nikitchenko, S.S. Shkilniak

Abstract


New logics more adequate for property descriptions of functions and predicates over hierarchical data are constructed. A characteristic fea-ture of such logics is use of composite names in their languages. Semantic properties of such logics are investigated, corresponding sequent calculi are defined.

Problems in programming 2010; 2-3: 48-57


References


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

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

Никитченко Н.С. Предикатные композиционно–номинативные системы // Проблеми програмування. – 1999. – № 2. – С. 3–19.

Никитченко Н.С., Шкильняк С.С. Неоклассические логики предикатов // Проблеми програмування. – 2000. – № 3–4.

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

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

Нікітченко М.С., Шкільняк С.С. Семантичні властивості композиційно-номінативних логік. // Тези доп. Міжнар. конф. "Теоретичні та прикладні аспекти побудови програмних систем" – TAAPSD'2009.– Київ, 2009. – С. 50–59.


Refbacks

  • There are currently no refbacks.