Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

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

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

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

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

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

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

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

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

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

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

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

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

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

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

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

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

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

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

Spectrum of sequential number pershopordinal compositional-nominative logics за авторством Shkilnyak, S.S.

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

Special relations of logical consequence in logics of quasi-ary predicates за авторством Shkilniak, S.S.

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