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 )的理论和技术引入到群决策支持系统中,不仅便利了知识的共享和重用,而且为数据和知识交换提供了语义上的互操作性,很好的适应了群决策支持系统在当前网络环境中的新发展。
模型: model; pattern论: The Analects of Confucius模型论语义: model-theoretic semantics模型理论 模型论: modeltheory类型论: theory of class; theory of types; type theory; typological theory体型论: theory of body type同型论: isomorphism型论证: deductive argument二次型论: theory of quadratic forms分歧类型论: ramified theory of types简单类型论: simple theory of types人格造型论: formative theory of personality心理类型论: psychological type theory心理型论: theory of psychological types心身同型论: mindbody isomorphismm支分类型论: ramified theory of types; ramifiedtheoryoftypes直觉类型论: intuitionistic type theory罪犯类型论: typological theory of criminals类型论, 类型理论: type theory性格功能类型论: theory of character function types性格机能类型论: theory of character function type模型: 1.(仿制实物) model; pattern 模型所代表的实物 antitype; 模型展品scale model; 飞机模型 model of an airplane; 复制模型 replica; 原尺寸模型 mock-up; 机器的模型 pattern of a machine; 做一个汽船模型 model a steamboat; 他用粘土做模型。 he models in clay.2.(制砂型的工具) mould; pattern3.(模子) model set; mould pattern; layout; type; representation; cast; version; matrix; mock-up; shape高级神经活动类型论: typological theory of higher nervous activity国外大型论坛群发工具: atuo forum poster模型,模型机: mock-up