模型论 meaning in Chinese

model theory

On modelproperties of lattice implication algebra
格蕴涵代数的模型论性质
On the model properties of bck algebras
代数的模型论性质
Criticisms of situation semantics on the extensional model theory and the possible world semantics
情境语义学对外延模型论和可能世界语义学的批判
Being compared with mpsitional calculus , the property of model theory of the evaluation twhonal calculus is studied
与经典命题逻辑系统相比较，研究了评价值命题逻辑系统中的模型论性质。
By employing the theory and technology of ontology and oil / rdf ( s ) in gdss , it not only facilitate knowledge sharing and reuse but also provide the semantic interoperability for data and knowledge exchange . this adapt to the new development of gdss in current network
把领域模型论和oil rdf ( s )的理论和技术引入到群决策支持系统中，不仅便利了知识的共享和重用，而且为数据和知识交换提供了语义上的互操作性，很好的适应了群决策支持系统在当前网络环境中的新发展。