монотонный вывод. Способ вывода, при котором истинность выведенных высказываний не уменьшается в процессе вывода.
MONOTONIC REASONING
Англо-русский перевод MONOTONIC REASONING
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012