NORDER LOGIC

исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1) Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.