Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics von Shkilniak, О.S., Shkilniak, S.S.

Volltext

Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Volltext

Pure first-order quasiary logics with equality predicates von Nikitchenko, M.S., Shkilniak, S.S.

Volltext

Composition nominative modal logics of partial non-monotone predicates and their calculi von Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Volltext

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality von Shkilniak, О.S., Shkilniak, S.S.

Volltext

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Volltext