TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGIQUE INTENSIONNELLE [2 fiches]

Fiche 1 1990-12-19

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 1

Fiche 2 1989-12-04

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Logique des systèmes de croyances, de connaissances, de possibilités où la substitution coréférentielle n'est pas permise. Basée sur la distinction entre le caractère contingent de l'extension et le caractère permanent de l'intension. La logique de Montague en est un exemple.

Espagnol

Conserver la fiche 2

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :