论文部分内容阅读
本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。
弱逻辑F的矢列演算
【摘 要】
：
本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F
【机 构】
：
清华大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2021年1期
【基金项目】
：
国家社科基金重大项目(17ZDA026)
其他文献
目的探讨脑脊液置换术治疗小儿化脓性脑膜炎的疗效。方法将46例化脓性脑膜炎患者随机分为两组，两组均给予常规抗炎、降颅压、对症及支持治疗。置换组在病情稳定下早期行脑脊液
以Nb，Si粉为原料，采用放电等离子烧结（SPS）技术，原位合成了近理论密度的Nb／Nb5Si3复合材料。利用扫描电镜（SEM）、电子探针微区分析（EPMA）和X射线衍射（XRD）分析了材料的组织结构；通过对SPS
目的 探讨妊娠晚期胎盘早剥的诱因、临床表现、早期诊断、处理及与母儿预后的关系.方法 回顾性分析上海市松江区妇幼保健院2007年1月至2010年12月收治的43例胎盘早剥患者的临
针对压环压不紧和易变形的缺陷进行了有限元分析,提出了一种振动压环优化设计方法.通过对优化前后数据的比较分析,探讨了提高压环抗变形能力和增加预紧力的途径.实际应用表明
制备了摩尔比为1：1的TiO2和CeO2陶瓷靶材。采用射频磁控溅射法在O2和Ar比例为5：95的混合气体中制备了玻璃基TiO2-CeO2薄膜。溅射过程中，工作气压保持在1．8Pa不变，玻璃基片温度从室
目的探讨短程间歇性应用地西泮对预防热性惊厥复发的临床疗效。方法对来源于多中心的复杂性热性惊厥和／或反复单纯性热性惊厥的373例患儿口服地西泮（O．3～0．5mg／kg），动态观察地西泮干
摘 要：在新课程改革深入推进的背景下，生命教育逐渐成为教学体系中的重要内容。大量的教学实践研究证明，生命教育的合理开展，对学生的健康成长及人格发展会产生至关重要的影响。良好的生命教育活动，能够对学生的未来学习与生活起到奠基作用。通常来讲，生命教育的开展需要与学科教学紧密融合，而道德与法治课程无疑是组织生命教育的重要途径。因此，笔者将从自身的教学经验出发，谈一谈应该怎样在初中道德与法治教学中合理开展
研究了水基电泳沉积成型齿科氧化锆氧化铝玻璃渗透陶瓷的成型方法及工艺参数,成功的在石膏代型上成型出了全瓷修复体基底的预成体。并研究了预成体烧结前后及进行玻璃渗透后
采用溶胶-凝胶法合成了Bi4Ti3O12（简称BTO）和La掺杂Bi4-xLaxTi3O12（简称BLT）薄膜，通过TG-DTA、XRD、AFM等技术手段研究了薄膜的制备工艺、相组成和微观形貌。研究表明：用乙醇铋（自制
现代传媒的发展与报告文学的转型有着至为密切的关系.从报刊、广播、影视直至今天网络媒介的转轨,报告文学也由最初的口传形式相继转进为纸质报告文学、广播报告文学、影视报