formal system

(redirected from Finite logic system)
Also found in: Encyclopedia.

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