formal system

(redirected from Formal deduction system)
Also found in: Encyclopedia.
Related to Formal deduction system: Natural deduction

formal system

n
(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
Full browser ?