Abstract: We study new classes of program-oriented logical formalisms-pure first-order logics of quasiary predicates with extended renominations. Logics with predicates of weak equality and strong ...