Category:Definitions/Model Theory
Jump to navigation
Jump to search
This category contains definitions related to Model Theory.
Related results can be found in Category:Model Theory.
Model theory is a sub-branch of mathematical logic which studies mathematical structures by means of formal semantics for formal languages.
Subcategories
This category has the following 4 subcategories, out of 4 total.
B
F
I
Pages in category "Definitions/Model Theory"
The following 15 pages are in this category, out of 15 total.
M
- Definition:Metamodel
- Definition:Model (Boolean Interpretations)
- Definition:Model (Logic)
- Definition:Model (Logic)/Logical Formula
- Definition:Model (Logic)/Set of Logical Formulas
- Definition:Model of Logical Formula
- Definition:Model of Set of Formulas
- Definition:Model Theory
- Definition:Model Theory for Predicate Logic