Badacze z arXiv opublikowali prace nad formalnym framework do konstruowania kanonicznych interpretacji z pluralistycznych teorii struktur, gdzie struktura teoria składa się z sygnatury, aksjomatów i polityki wnioskowania. Praca rozwija pojęcie rodziny interpretacji akceptowalnych, które zbierają wszystkie globalnie spójne przypisania konkluzji strukturalnych, wprowadzając podział na trzy poziomy kanonikalizacji: stabilizację domknięcia na poziomie pojedynczych nasion, globalne uzupełnienie niezależne od nasion, oraz determinizację prowadzącą do unikalnej interpretacji.
Autorzy klasyfikują niezdeterminizm na dwa główne typy - pluralność epistemiczną (Typ E) reprezentującą niekompletną wiedzę oraz pluralność strukturalną (Typ S) stanowiącą właściwą wielokrotność interpretacji. Dla Typu S wyróżniają silną podklasę charakteryzowaną brakiem wspólnych granic górnych. W pracy zaproponowano dwa mechanizmy kanonikalizacji: uzupełnienie oparte na operatorach i konstrukcję oparte na selektorach, dostarczając warunki wystarczające dla ich istnienia.
Wyniki pokazują, że czysty, oparty na wnioskowaniu proces uzupełnienia redukuje się do nasyconego operatora domknięcia przy pozytywnych, nieretraktywnych regułach z dodatkowym warunkiem poprawności. Dla teorii Typu E udowodniono stabilizację domknięcia, natomiast pełna determinizacja pozostaje zależna od globalnej własności konfluencji pozostającej otwartym pytaniem. Praca demonstruje, że wielopoziomowa kanonikalizacja tworzy strukturalnie nieprzemienną sieć poprzez operatory etapowe.