泛逻辑的基本形式系统中的广义重言式理论

摘要：

本文首次对泛逻辑的广义重言式理论进行研究.给出了泛逻辑的基本形式系统中的广义重言式的一系列性质.主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈IQ)规则成立的一个充分条件.

关键词：泛逻辑学、广义重言式、升级算法、分划、广义语义MP-规则、广义语义HS-规则

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60273087;国家高技术研究发展计划863计划2002AA412020;北京市自然科学基金40320009

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：96-98