исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1) Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
N-ORDER LOGIC
Англо-русский перевод N-ORDER LOGIC
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012