Логики квазиарных предикатов первого порядка / Шкильняк С. С. (2010)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000468282
  Кибернетика и системный анализ      А - 2019  /     Випуск (2010, Т. 46, № 6)

Шкильняк С. С.
Логики квазиарных предикатов первого порядка

Досліджено композиційно-номінативні логіки квазіарних предикатів (ЛКП). Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових ЛКП. Для загального випадку ЛКП кванторного рівня побудовано числення секвенційного типу, доведено його коректність і повноту.

Бібліографічний опис:
Шкильняк С. С.  Логики квазиарных предикатов первого порядка. Кибернетика и системный анализ. 2010. Т. 46, № 6. С. 32-50. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468282

English  Cybernetics and Systems Analysis   /     Issue (2010, 46 (6))

translit Transliteration

Shkilnjak S. S.
Logiki kvaziarnykh predikatov pervogo porjadka

Cite:
Shkilnjak, S. S. (2010). Logiki kvaziarnykh predikatov pervogo porjadka. Cybernetics and Systems Analysis, 46 (6), 32-50 http://jnas.nbuv.gov.ua/article/UJRN-0000468282 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна