model theory

(redirected from Theory (mathematical logic))
Also found in: Encyclopedia.

model theory

n
(Logic) the branch of logic that deals with the properties of models; the semantic study of formal systems
ˈmodel-ˌtheoˈretic adj
Mentioned in ?