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

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

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

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

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.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.

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

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

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

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

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