Spectrum of sequential number pershopordinal compositional-nominative logics
Abstract
Full Text:
PDF (Українська)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.
Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. – 528 с.
Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках // Проблеми програмування. – 2010. – № 1. – C. 15–38.
Шкильняк С.С. Логики квазиарных предикатов первого порядка // Кибернетика и системный анализ. – 2010. – № 6. – С. 32–49.
Шкільняк С.С. Секвенційні числення першопорядrових логік однозначних квазіарних предикатів // Проблеми програмування.
– 2012. – № 1. – C. 34–51.
Шкільняк С.С. Секвенційні числення композиційно-номінативних логік квазіарних предикатів // Проблеми програмування. –
– № 2–3. – C. 33–43.
Шкільняк С.С. Спеціальні секвенційні числення логік однозначних квазіарних предикатів // Вісник Київського ун-ту. Серія: фіз.- мат. науки. – 2012. – Вип. 3. – С. 287–292.
Нікітченко М.С., Шкільняк С.С. Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку // Вісник Київського ун-ту. Серія: кібернетика. – К., 2012. – Вип. 12. – C. 38–45.
Смирнова Е.Д. Логика и философия – М., 1996. – 304 с.
Nikitchenko M., Tymofieiev V. Satisfability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics // Comm. in Comp. and Inf. Science. – V. 347. – P. 89–110. – Springer, 2012.
Refbacks
- There are currently no refbacks.