Combinación de Teorías
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El proceso de integrar procedimientos de decisión, axiomas o teorías lógicas para que sea posible razonar conjuntamente a través de dominios heterogéneos manteniendo la corrección y, cuando sea posible, la decidibilidad.