Синтетичность логическая, или синтетичность процедурная.

Пока см. «Начала одной из новых логик».