argument un ou plusieurs prédicats d'ordre n-1, avec n > 1. Les mêmes définitions s'appliquent aux fonctions d'ordre supérieur. Les lambda-calculs typés, comme...

la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai[pas clair]...

calcul des prédicats égalitaire. On parle de logique du premier ordre par opposition aux logiques d'ordre supérieur, où l'on peut aussi appliquer les quantificateurs...

détaillé : Histoire de la logique. Article connexe : Logicisme. La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique...

fonctionnels. Le concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre supérieur ; elle utilise uniquement l'application...

suivantes : A,Dl,Dr A,C,Dl, Anneaux commutatifs Si on se place en logique d'ordre supérieur, c'est-à-dire si on s'autorise à utiliser des variables comme...

d’élégance. Les métavariables de logique du premier ordre sont généralement trivialement éliminables en logique d’ordre supérieur, car une métavariable est souvent...

signifier : Higher-order logic (en français, logique d'ordre supérieur), en informatique théorique, des logiques formelles permettant d'utiliser des variables...

de données commence par la logique d'ordre supérieur et dérive des équivalents aux axiomes de la logique de premier ordre et de la théorie des ensembles...

La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve...

Visual Prolog. λProlog abordait les logiques d'ordre supérieur. Outre datalog et divers langages de programmation logique sous contraintes, le projet japonais...