Theory Combination

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The process of integrating decision procedures, axioms, or logical theories so that joint reasoning is possible across heterogeneous domains while preserving soundness and (when possible) decidability.