Terms for subject Logic containing система

Russian	English
аксиоматическая система	axiomatic system
всякая система	every system (значений переменных ssn)
дедуктивная система абстрактных понятий	deductive framework of abstract concepts (Alex_Odeychuk)
для всякой системы значений переменных a1, a2, . . ., aN	for every system of values of a1, a2, . . ., aN (ssn)
переменное свойство системы, динамически изменяющее своё значение	fluent (Alex_Odeychuk)
система логико-вычислительной обработки	logic processing system (Alex_Odeychuk)
формальная система	set of inference rules (Alex_Odeychuk)