Tagraíonn an teoiric ina fhoirm reatha go luath sna 1980idí agus grúpa taighde faoi stiúir Rudolf Wille, Bernhard Ganter agus Peter Burmeister ag an Technische Universität Darmstadt. Bhí a sainmhínithe bunúsacha matamaiticiúla, áfach, curtha isteach cheana féin sna 1930idí ag Garrett Birkhoff mar chuid den teoiric ghréasáin ghinearálta. Tháinig cur chuige roimhe seo eile don smaoineamh céanna ó ghrúpaí taighde éagsúla na Fraince, ach rinne grúpa Darmstadt an réimse a normalú agus d'oibrigh sé amach go córasach an dá teoiric matamaiticiúla agus a bhunús fealsúnachta. Tagraíonn an ceann deireanach go háirithe do Charles S. Peirce, ach freisin do Logic Port-Royal. Ceist: Cé a tháinig leis an sainmhíniú bunúsach don teoiric ghréasáin ghinearálta?
Garrett Birkhoff