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

单词	hypersequent
释义	hypersequent Logic A multiset composed of sequents introduced by logician Arnon Avron as a generalization of sequents. Where ${Γ_{0} \Rightarrow Δ_{0}, …, Γ_{n - 1} \Rightarrow Δ_{n - 1}}$ is a multi of sequents (possibly with redundancies), the corresponding hypersequent is represented as $Γ_{0} \Rightarrow Δ_{0} \| … \| Γ_{n - 1} \Rightarrow Δ_{n - 1}$ The punctuation mark ( $\|$ ) is interpreted disjunctively, so that each component can be construed as a possibility or hypothesis.
随便看	stellar evolution stellar interferometer stellar population stellar structure stellar wind stem stem and leaf diagram stem-and-leaf plot stem cell stem flow stem group stemmer stemming stem reptiles stenching Stenian steno- Steno, Nicolaus Steno, Nicolaus (1638–87) stenothermal stenotopic Stensen, Niels STEP step step diagram

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