Een category-theoretisch perspectief op Approximation Fixpoint Theory KU Leuven
Approximation Fixpoint Theory (AFT) werd begin jaren 2000 opgericht als een abstract algebraïsch raamwerk om de semantiek van niet-monotone logica te bestuderen, zoals default logica, auto-epistemische logica en logisch programmeren. Veel van de non-monotone constructieve processen die plaatsvinden in verschillende gebieden van de informatica, samen met de bijbehorende semantische structuren, kunnen met succes bestudeerd wordenmet behulp van ...