Повнота секвенційних числень модальних логік немонотонних часткових предикатів / Шкільняк О. С., Касьянюк В. С., Малютенко Л. М. (2016)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000765482
  Штучний інтелект  Б - 2021  /     Випуск (2016, № 3)

Шкільняк О. С., Касьянюк В. С., Малютенко Л. М.
Повнота секвенційних числень модальних логік немонотонних часткових предикатів

Бібліографічний опис:
Шкільняк О. С., Касьянюк В. С., Малютенко Л. М. Повнота секвенційних числень модальних логік немонотонних часткових предикатів. Штучний інтелект. 2016. № 3. С. 92-102. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000765482

English  Artificial intelligence   /     Issue (2016, 3)

Shkilniak O. S., Kasianiuk V. S., Maliutenko L. M.
Completeness of sequent calculi for modal logics of non-monotone partial predicates

Cite:
Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2016). Completeness of sequent calculi for modal logics of non-monotone partial predicates. Artificial intelligence, 3, 92-102. http://jnas.nbuv.gov.ua/article/UJRN-0000765482 [In Ukrainian].

 

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

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