Logique D'Ordre Supérieur

Une classe de systèmes logiques qui étend la quantification aux prédicats, fonctions et entités de type supérieur (fonctions de fonctions, prédicats de prédicats, etc.), permettant de raisonner sur des objets de type supérieur et de formaliser directement des concepts mathématiques et sémantiques difficilement exprimables en logiques d'ordre inférieur.