quasi normed space

Let R be a commutative ring without zero divisor, R is called a quasi valuation ring,if it contains a non zero element \%b\% such that any non zero element of \%R\% divides a power of \%b\%.

一个无零因子的交换环 Ｒ 称为拟赋值环，如果 Ｒ中有一个非零元素ｂ 具有下列性质： Ｒ 的任意非零元整除ｂ 的幂。

In this paper, we use Half-infinitary method, Self-substitution method, Fixed-point method and Quasi-valuation method to comprehensively establish such logics, and thus investigate various logical features of knowing an action.

本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。