基于零级泛与运算的泛逻辑中广义重言式理论

摘要：

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质.主要结果有:当c ∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画.

关键词：泛逻辑、广义重言式、零级泛与运算

所属期刊栏目：43

分类号：TP181;O141.1(自动化基础理论)

资助基金：陕西省教育厅资助项目06JK286;西安工程大学科研基金;河南省自然科学基金0611053900

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

页数：共4页

页码：16-18,21