Intertheoretic Reduction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A structured relation in which the concepts, laws, or results of one theory are systematically translated into, derived from, or explained by another theory via explicit mappings, embeddings, or derivability relations that preserve inferential and explanatory relations.