格值模型论相关论文
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将......
建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．......
将带广义量词Ｑ的一个阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。......
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一......
