Quantum logics developed as a branch of mathematical science thataccompanies the mathematical axiomatization of quantum theory, which has more than80 years’history and rich contents.
量子逻辑是伴随着量子理论的数学公理化而发展起来的一门数学分支学科,具有八十多年的历史和丰富内容。
参考来源 - 量子逻辑中的收敛理论·2,447,543篇论文数据，部分数据来源于NoteExpress
Therefore no formal system is a true axiomatization of full number theory.
因此，没有正式的系统是一个真正的公理化充分一些理论。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
应用推荐