“residuation”的概念、定义、翻译、参考文献-科学参考

单词	residuation
释义	residuation Logic In relevant logic, the axiom scheme relating the connective $\circ$ of fusion to relevant implication $\to$ : • $((φ \circ ψ) \to ξ) \leftrightarrow (φ \to (ψ \to ξ))$ This codifies that relevant implication is the residuum of fusion. Residuation also appears in the rule form: $\frac{(φ \circ ψ) \to ξ}{\bar{φ \to (ψ \to ξ)}}$
随便看	rapid prototyping rapids Rapitan-type granular iron formation RAR rare-earth element rare earth elements rare-earth elements rarefaction rare gas rare gases RAS RASAD-1 Rasalgethi Rasalhague RASAT Rasch, Georg (1901–80) Raschig, Friedrich (Fritz) August Raschig process Raschig ring Raschig synthesis Rasch model Ra-Shalom Rashba effect Rashid Ali al-Ghailani (1892–1965) RasMol

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。