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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

The description of lists and sets of meta-language of normal forms of knowledge von Kurgaev, A.F.

Volltext

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

Volltext