Translation of "ordering logic" into French

Phrases similar to "ordering logic" with translations into French

• higher-order logics
  logique d'ordre supérieur · logique de plus haut niveau
• pure first-order logic
  logique du premier ordre pure
• first-order temporal logic
  logique temporelle du premier ordre
• second order logic
  logique du deuxième ordre
• first-order logic theorem prover
  démontreur de théorèmes en logique du premier ordre
• first-order logics
  logique du premier ordre
• higher-order intensional logic
  logique intensionnelle d'ordre supérieur
• higher-order logic
  logique d'ordre supérieur · logique de plus haut niveau