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

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

Security basic model for applied tasks of the distributed information system von Rodin, Y.S., Sinitsyn, I.P.

Volltext

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

Volltext