formal system(redirected from Formal deduction system)
Also found in: Encyclopedia.
Related to Formal deduction system: Natural deduction
(Logic) logic an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system. Also called: formal theory or formal calculus Compare formal language