First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

Abstract

The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renomi- nations and predicates of strong equality and of weak equality.