В ієрархії логік часткових предикатів реномінативні логіки займають проміжне місце між пропозиційними та кванторними логіками. В статті досліджуються реномінативні алгебри предикатів, визначається мова реномінативної логіки та будується її повне інфінітарне екваційне числення.