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

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

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.

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

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

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

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

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

The description of lists and sets of meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

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

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

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