Combinaison de Théories

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Le processus d'intégration de procédures de décision, d'axiomes ou de théories logiques afin de permettre un raisonnement conjoint à travers des domaines hétérogènes tout en préservant la correction et (si possible) la décidabilité.