这些结果说明,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
在满足子空间降链条件的线性空间中,每个子空间可表示为有限个极大子空间的交。
In the linear space with descending chain condition of subspaces, every subspace can be written as finite intersection of maxmin subspaces.
应用推荐