二阶逻辑相关论文
程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......
细胞中的基因、蛋白质以复杂相互作用关系系统地调控细胞活动。本文利用系统发生谱的逻辑建模和分析方法来鉴别基因间的高阶逻辑关......
摘 要：目前，对于经典数学的逻辑基础，很多学者持有不同的意见，主要有两个分支：一部分学者认为经典数学的逻辑基础为一阶逻辑，还有一部分......
在英美数学哲学领域的新近讨论中，新逻辑主义是比较活跃的一派观点。新逻辑主义继承弗雷格逻辑主义纲领的要义，并从弗雷格的文献中获......
一种语言的表达力（或可表达性）是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一......
文章旨在简要地讨论弗雷格《概念文字》，指出其中的两个重要但被一些国内学者误解或忽略的贡献：首先我们指出，根据Boolos等人的论证，弗......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
研究不确定型数据时,针对宏观上缺失数据和噪声数问题,提出了一种应用于智能决策系统的自动推理方法,可以有效地从不确定型数据中......
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类，那么可靠的（the soundness）和完备的（the complet......
<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直......
2011年8月29日至30日，“弗雷格：逻辑和哲学”国际研讨会在北京大学正大国际交流中心举行。本次会议由北京大学哲学系和北京大学研究......
在20世纪初布尔巴基(Bourbaki)学派结构主义运动的影响下,以"数学的本质是结构"为基本主张的结构主义数学哲学逐渐兴起,并形成了详......
