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

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

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

Volltext