Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.
Read more about Institutional Model Theory: Overview
Famous quotes containing the words model and/or theory:
“I’d like to be the first model who becomes a woman.”
—Lauren Hutton (b. 1944)
“The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
—Giuseppe Mazzini (1805–1872)