First-order composition-nominative logics with generalized renominations

M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak

Abstract


First-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. It is proposed to extend these logics with generalized renominations and special predicates that detect if the subject variables have assigned values. Languages and semantic models of such logics are defined, their semantic properties, in particular, properties of relations of logical consequence are studied.

Prombles in programming 2014; 2-3: 17-28


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,

–2000.

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

Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Логіки часткових предикатів з розширеними реномінаціями та кванторами // Вісник

Київського ун-ту. Серія: фіз.-мат. науки. – 2013. – Вип. 2. – C. 210–215.

Nikitchenko M., Tymofieiev V. Satisfability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics // Comm. in Comp. and Inf. Science. – Springer, 2012. – Vol. 347. – P. 89–110.

Нікітченко М.С., Шкільняк С.С. Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти // Вісник Київського ун-ту. Серія: фіз.-мат. науки. – 2012. – Вип. 4. – C. 165–172.

Шкільняк С.С. Семантичні властивості логік часткових предикатів з розширеними реномінаціями // Вісник Київського ун-ту. Серія:

фіз.-мат. науки. – 2013. – Вип. 3. – C. 297–302.

Никитченко H., Шкильняк С. Cемантические свойства и секвенциальные исчисления чистых композиционно-номинативных логик первого порядка // Information Theories and Applications: Internatinal Journal. – Sofia, Bulgaria, 2013. – Vol. 20. – N 4. – P. 379–390.

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

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


Refbacks

  • There are currently no refbacks.