logistic system,
n.
(
Logic
) an
uninterpreted
formal calculus
containing a set of
axioms
and a set of
rules of inference
, especially a system of
formal logic
. Compare
formal language
.
