搜索结果: 1-3 共查到“数理逻辑与数学基础 closure”相关记录3条 . 查询时间(0.078 秒)
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...
In this note we answer to a frequently asked question. If G is an algebraic group acting on a variety V, a G-sheet of V is an irreducible component of V^(m), the set of elements of V whose G-orbit ha...
Let R be a commutative ring with a unit and M an R-module. In this paper we give a comparison between the F-closure in M of an R-submodule having a minimal extension and the closure of this minimal ex...