作者：刘富春institution逻辑方程性质可满足性algset函子态射自由定理
摘要：在方程逻辑中,通过引入语句函子Eqn : Sign→Set和模型函子Alg : Sign→Catop ,得到了方程逻辑可满足性条件定理,从而建立了方程逻辑Institution理论,并进一步讨论了它的一些性质,得到了自由理论态射的复合也是自由理论态射等结论.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《材料研究与应用》（CN：44-1638/TG）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《材料研究与应用》主要刊登有色和稀有金属的选矿与冶炼、金属材料与加工、粉末冶金、选冶药剂、分析检测、焊接技术、自动控制、节能技术等学科的学术论文、科研成果、理论探讨、专题性或综合性的动态评述等。
北大期刊、统计源期刊
人气 542264 评论 58
省级期刊
人气 255129 评论 54
人气 252071 评论 66
部级期刊
人气 195351 评论 31
