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\%.
一个无零因子的交换环 R 称为拟赋值环,如果 R中有一个非零元素b 具有下列性质: R 的任意非零元整除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.
本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号