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

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

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

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

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

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

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

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

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

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

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems за авторством Давидюк, А. В., Зубок, В. Ю.

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

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.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.

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

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

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

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

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