Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

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

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

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

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

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

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

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