任何物理理论集合的最佳可能统一
The Best Possible Unification for any Collection of Physical Theories
摘要:
证明了定义在任何非空语言上的有限结果算子的集合是一个并完备格。这一结果适用于各种集合的物理理论,以获得一个不受限制的上确界统一。
英文摘要:
It is shown that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted supremum unification.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。