和谐性质相关论文
Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐......
Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公......
<正> 民族繁荣和民族接近是反映社会主义民族关系发展的一组重要范畴,深入研究它们之间的辩证关系、特点及其矛盾运动规律,对于正......
建立ω１ω语言格值模型论的Ｍａｌｉｔｚ插值定理和省略型定理，简单讨论格值齐次模型的性质，最后将二值模型论中构造模型的初等链方法引入ω１ω语言......
