机译:建构真理值的三重性
Under-determined valuation; over0-determined valuation; truth value space; bilattice;
机译:基于语言真值格蕴涵代数的语言真值格蕴命题逻辑系统lP(X)
机译:16值Trilattice逻辑中的插值
机译:Belnap-Dunn模态逻辑:真相常数与 真理价值
机译:基于语言真值格值命题逻辑系统的α广义解析方法
机译:建设性经验主义的真相
机译:不确定性和三值真值表的心理学
机译:16值三格逻辑中的插值
机译:真理维护系统的构造性Fixpoint语义