随机真度论文

论文摘要通过对G■deln值命题逻辑系统进行公理化扩张G■del～,Δ,简记为G～,Δ,利用赋值集随机化的方法,在G■del～,Δ中提出了命题公式的t随机真度的定义（t任取～,...