Crëwyd y syniad o sefydliad gan Joseph Goguen a Rod Burstall ddiwedd y 1970au er mwyn delio â'r "ffrwydrad poblogaeth ymhlith y systemau rhesymegol a ddefnyddir mewn cyfrifiadureg". Mae'r syniad yn ceisio dal hanfod y cysyniad o "system resymegol". Mae defnyddio sefydliadau'n ei gwneud hi'n bosibl datblygu cysyniadau ieithoedd manyleb (fel strwythuro manylebau, paramedriad, gweithredu, mireinio, datblygu), profi calculi a hyd yn oed offer mewn modd sy'n gwbl annibynnol i'r system resymegol sylfaenol. Mae yna morffisiaethau hefyd sy'n caniatáu cysylltu a chyfieithu systemau rhesymegol. Mae defnyddiau pwysig o hyn yn cael eu hailddefnyddio o strwythur rhesymegol (a elwir hefyd yn fenthyca), manyleb heterogenaidd a chyfuniad o resymeg. Mae lledaeniad theori model sefydliadol wedi cyffredinolu gwahanol syniadau a chanlyniadau'r theori model a bod y sefydliadau eu hunain wedi effeithio ar gynnydd rhesymeg cyffredinol. [Theori model] |