【摘 要】
：
核证逻辑建立在经典命题逻辑的基础之上,但是增加了这样的核证断言t:F(被读作t是F的一个核证)。本文主要研究核证逻辑的历史、理论结果以及对主流认识论的意义。1933年,G?del
论文部分内容阅读
核证逻辑建立在经典命题逻辑的基础之上,但是增加了这样的核证断言t:F(被读作t是F的一个核证)。本文主要研究核证逻辑的历史、理论结果以及对主流认识论的意义。1933年,G?del在他的论文中提出了两个问题:一是G(o|¨)del可证性演算S4的语义,二是形式可证性谓词Provable(F)的模态逻辑。而对于第一个问题的解决就导致了证明逻辑LP(这也是第一个核证逻辑)的产生,由此,其他的一些核证逻辑也接踵而至。核证逻辑系统可以看做是模态逻辑的一种显式版本,也可以看做是知识逻辑的显式版本,其中必然(知识)算子被明确的核证项来代替。我们首先概述核证逻辑的基础以及它们与模态逻辑的关系,然后转向另外的技术性结果:模态逻辑有不同的强度,和它们相对应的核证逻辑也有不同的强度,在文中我们将证明对应于T的扩充的核证逻辑事实上是对彼此保持的。
其他文献
优化了头孢哌酮钠结晶工艺条件,制备了头孢哌酮钠,新工艺所得产品颗粒均匀,稳定性好,易过滤、易干燥,更利于产业化。
Exosome是由活细胞分泌的直径为50-100nm的膜结构囊泡。细胞内吞泡膜向内凹陷形成含有多个小囊泡的多泡内涵体后，与细胞膜融合，释放其中的小囊泡，即为exosome。Exosome由磷脂双
本文主要介绍了一种基于Unicode编码的蒙文信息处理平台,最后介绍了该蒙文信息处理系统的性能指标和几种智能输入法。
蒙特卡罗方法(简称蒙卡方法)作为解决粒子输运问题的两种重要方法之一,与确定论方法相比具有几何建模精细、物理过程高保真的优点。随着人们对核设施辐射场屏蔽计算精确性要
网络环境下实体图书馆不会消亡，作为图书馆主要要素的图书馆员也不会消失。随着现代技术的发展，图书馆的功能得到继承和发展，图书馆员的作用得到扩大、形象发生改变，图书馆员将成
网络技术的发展、普及为政党的发展提供了难得的历史机遇。各国政党纷纷利用网络技术建立网站,利用网站宣传自己的政策主张,这已成为世界性的潮流,也是政党现代化发展的必然
新媒介时代,以传统的单一文字来表现新闻的写作方式已经不能适应时代的需求。媒介融合后的新闻传播已经在时代舞台上崭露头角。本文主要论述在媒介融合趋势下的新闻创新及改
6－甲基－5－庚烯－2－酮是重要的有机合成中间体和工业生产原料。其合成方法有：（1）以异成二烯为原料，经与氯化氢加成得到4氯－2－甲基－2－丁烯，再与丙酮在相转移催化剂（PTC）的存在下缩合得到。此法被