G(o)del逻辑系统相关论文
以G(o)del系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数叮由逻辑公式导出,或逻辑公式的真值函数......
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了......
期刊
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言......
期刊
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义......
期刊
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在G(o)del逻辑系统中就形如τ(X→p)=α......
期刊
研究了G(o)del逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在G(o)del逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元......
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
期刊
