Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Get full text

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

Get full text

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

Get full text

First-order composition-nominative logics with predicates of weak equality and of strong equality by Shkilniak, S.S.

Get full text

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

Get full text

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

Get full text

Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Get full text

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

Get full text

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Get full text

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

Get full text

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

Get full text

Relations of logical consequence in logics of partial predicates with composition of predicate complement by Shkilniak, O.S.

Get full text

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

Get full text

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Get full text

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

Get full text