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