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

Volltext

Propositional logics of partial predicates with composition of predicate complement von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Volltext

Relations of logical consequence in logics of partial predicates with composition of predicate complement von Shkilniak, O.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

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

Volltext

First-order logics with partial predicates for checking variable definedness von Shkilniak, S.S.

Volltext