论文部分内容阅读
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.
F（S）在Lukasiewicz逻辑系统中的一种分划
【摘 要】
：
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金
其他文献
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关
目的：分析甲流的病因及流行病学特征,采取有效的预防措施,及时应对甲型H1N1流感疫情暴发的可能,有效的控制疫情扩散蔓延。方法：对2009年某院感染性疾病科收治的378例疑似病例和