Your English writing platform
Discover LudwigThe phrase "a reduction relation" is correct and usable in written English.
It can be used in contexts related to mathematics, computer science, or logic, where it refers to a relationship that reduces one element to another.
Example: "In the context of lambda calculus, a reduction relation defines how expressions can be simplified or transformed."
Alternatives: "a simplification relation" or "a transformation relation".
Exact(2)
Scheibe concedes that there are instances of incommensurability which make it difficult to find a reduction relation in certain cases.
These set-theoretical structures are then used to define a reduction relation in terms of mapping functions from one structure to another.
Similar(58)
In this article, we study a restricted notion of subgraph epimorphism, corresponding to the application of node delete and merge operations in a reaction graph, in order to relate a source graph to a target graph through a model reduction relation.
The authors consider an exact reduction relation as a certain relation between potential models of the respective theories.
Variants of such an empirical reduction relation has been given by the structuralist school in terms of set-theoretical structures (Stegmüller 1976; Scheibe 1986; Balzer et al. 1987; Moulines 2000).
Bickle explicates the nature of the reduction relation in a specific case using a semi-formal account of 'intertheoretic approximation' inspired by structuralist results.
Building on these two lines of thought, one can, following Van Gulick (2001), draw a distinction between representational and non-representational relata of the reduction relation, and accordingly between representational and ontological reduction.
When does a theory T′ reduce to a theory T? How is one to understand the nature of this reduction relation?
The formal relations only guarantee, but do not define, the reduction relation.
His reduction relation is composed of two simpler intertheoretic relations called "restriction" and "embedding".
His supplement builds the possibility of multiple realizability (including the strong type) directly into the definition of the reduction relation.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com