Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

Отримати повний текст

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Отримати повний текст

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

Отримати повний текст

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Отримати повний текст

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

Отримати повний текст

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Отримати повний текст