Een nieuwe wiskundige brug tussen logische werelden
Xiaolong Wang onderzocht de wiskundige structuren die ten grondslag liggen aan input/output-logica. Zijn onderzoek slaat een sterke en systematische brug tussen gebieden van de logica die decennialang onafhankelijk van elkaar zijn bestudeerd.
Wang bouwt hierbij voort op inzichten uit de Abstracte Algebraïsche Logica en het gebruik van subordinatie-algebra's. Deze algebraïsche structuren fungeren in zijn onderzoek als de semantische omgeving voor conditionele verplichtingen en permissiesystemen.
Wang breidt het raamwerk van input/output-logica op uniforme wijze uit naar de familie van zogeheten self-extensional logics. Hierdoor kunnen concepten zoals negatieve, statisch positieve en dynamische permissiesystemen worden verfijnd en gegeneraliseerd.
Zijn onderzoek toont aan dat deze nieuwe benadering de oorspronkelijke betekenis van deze systemen bewaart, maar tegelijkertijd relaties blootlegt die in de klassieke setting verborgen bleven. Hiermee opent Wang nieuwe mogelijkheden voor de interpretatie en toepassing van deze formele raamwerken.
Meer informatie over het proefschrift
