Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve Kennis Vrije Universiteit Brussel
semantieken van niet-monotone logicas in te bestuderen,
oorsprokelijk ontwikkeld voor autoepistemische logica, default logica
en logisch programmeren.
Om AFT te gebruiken op een van de voorgaande, of een nieuwe
logica volstaat het om een semantische operator voor die logica te
definieren.
Het hoog abstractieniveau en de wiskundige ...