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