论文部分内容阅读
以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链，格中的每个逻辑相对于格的不完全度是1。另外，萨奎斯特逻辑格的子格E具有规整的结构。
萨奎斯特逻辑的格
【摘 要】
：
以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以
【机 构】
：
浙江大学语言与认知研究中心,北京大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2009年1期
【基金项目】
：
本文得到国家社会科学基金项目（编号08CZX020）以及中国博士后基金项目（编号20080431331）的资助.
其他文献
原发性心内膜弹力纤维增生症的治疗和预后青岛医学院附属医院小儿科唐兆英，石秀兰原发性心内膜弹力纤维增生症是婴幼儿心力衰竭最常见的原因，该病死亡率高，预后很差，并且易与其它
壮骨关节丸致药物性肝损害２例报告宁夏医学院附属医院传染科刘晓彦，张栩，孙花芬，武菲菲我科于１９９１年～１９９４年曾收治２例壮骨关节丸所致药物性肝损害病例，现报告如下。１例１：男，５０岁，主因乏力、纳差、腹
用碱比色法测定防风通圣丸等三个中药制剂中的游离蒽醌类成分宁夏卫生学校任力，田明荣沈阳市沈河区药检所周国军大黄是一味常用的传统中药。近几年来由于大黄对治疗一些疾病疗
弗雷格把语句的涵义看作思想，把语句的指称看作真值。本文接受弗雷格关于语句的涵义一指称的意义结构，但把语句的涵义和指称分别改为语法意义和事态。语句的真或假是语句和它所
献血员乙型肝炎病毒血清学标志物的检测宁夏红十字会中心血站马孝英，陈学文输血是乙型肝炎病毒ＨＢＶ传播的主要途径之一，据ＷＨＯ资料表明，输血性乙型肝炎发生率为３．７％，这与筛选献血员方法的灵敏
中西医结合治疗慢性结肠炎２３例疗效观察山东省潍坊市寒亭区人民医院辛显印慢性非特异性结肠炎属于“泄泻”、“肠风”之范围，系由于湿热在大肠郁结，血络受伤，肝气横逆犯脾，脾气虚弱