Concept information
Preferred term
logique d'ordre supérieur
Definition
-
Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats. Elles étendent le calcul des prédicats.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur)
Broader concept
In other languages
-
English
URI
http://data.loterre.fr/ark:/67375/PSR-PTDDF28G-B
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}