t真度相关论文
在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了......
期刊
通过增加两类算子和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel（,Δ）,简记为G（,Δ）。在Gdel,Δ中提出了命题公式的t真度的定义......
在G(?)del n值命题逻辑系统中,通过添加Δ算子,给出了命题公式的Δ真度及其等价形式,论证了Δ真度的MP规则和HS规则等一些基本性质......
