model theory


Also found in: Thesaurus, Legal, Encyclopedia, Wikipedia.
Related to model theory: Proof theory

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 ?
References in periodicals archive ?
By omitting the action component, these critics are able to characterize Evans's theory as a perceptual model theory and reject it on that ground.
Their topics include the enumeration of degrees: local and global structural interactions, Ramsey properties of finite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem, open problems on ultrafiltration and some connections to the continuum, obtaining Woodin's cardinals, translation procedures in descriptive inner model theory, and set-theoretic foundations.
A successful quantifier elimination result in this setting would extend the reach of model theory to wide areas of number theory and geometry that have not been accessible before, including points of small height in number theory, and the Gromov-Witten invariants of a variety in geometry.
Without it, the Standard Model theory that combines all the fundamental forces and particles of the universe would have fallen down.
Lee (2) coupled EnergyPlus and agent-based modeling platforms to simulate occupant behavior (based on the reasoned action model theory (3)) within an energy model.
One of the most important open problems in the minimal model theory for higher-dimensional algebraic varieties is the abundance conjecture.
From the non-rolling tyre model theory (Equation (11) and Equation (12)), it can be concluded that:
Recently a new theory in health promotion--the multi model theory (MTM) of health behavior change has been proposed by Sharma (2015; 2017).
Sourcing Business Model theory is a revolutionary approach that will challenge procurement professionals much the way.
This property relates to the model theory of valued fields which was introduced by F.
The main goal in this paper will be to outline a mental model theory (Johnson-Laird & Byrne, 1991, 2002) of reasoning about the conditional except if.
The findings presented in this paper are discussed within the framework of Mental Model theory (Johnson-Laird & Byrne, 2002).

Full browser ?