自由变元相关论文
建立ω１ω语言格值模型论的Ｍａｌｉｔｚ插值定理和省略型定理，简单讨论格值齐次模型的性质，最后将二值模型论中构造模型的初等链方法引入ω１ω语言......
本文将右线性递归算法拓广到含多个IDB谓词的广义查询,是文献[3]的对称问题.定义设给定的逻辑程序包含一组涉及IDB谓词p_1,…,p_l......
文[1]、[2]建立了中介逻辑的表推演理论,本文着重介绍以这一理论为基础设计的实验性中介逻辑定理证明器(MTP)。这一定理证明器能实......
本文以文[1]为基础,继续讨论中介逻辑的自动推理理论,文中给出了中介谓词演算系统MF及MF~*、带等词的中介谓调演算系统ME及ME~*的......
初等代数函数是代数函数张福阁孙丽萍黄人伶（黑龙江省黑河师专数学系１６４３００）初等代数函数是代数函数，从名称上看好象应该是显然的，但从各自的......
本文从集合的概念,空集的意义,经典集合与模糊集合等几个方面阐述了“类”与“集合”概念的区别。......
<正> 引言数学研究的是数学结构的性质。本文将研究数学推理,这种推理是用以证明这些性质的方法。数学结构用一套公理来定义。根据......
摘要：多主体行为句的形式语义描述目前并没有很好的答案。本文从行为的发出和接受的角度进行思考，借用Cp系统和语义解释，并对其进行了......
