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:
“When Titian was mixing brown madder,
His model was posed up a ladder.
Said Titian, “That position
Calls for coition,”
So he lept up the ladder and had her.”
—Anonymous.
“The human species, according to the best theory I can form of it, is composed of two distinct races, the men who borrow and the men who lend.”
—Charles Lamb (1775–1834)