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

Volltext

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

Volltext

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Volltext

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality von Shkilniak, О.S., Shkilniak, S.S.

Volltext

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

Volltext