论文部分内容阅读
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.
F（S）在Lukasiewicz逻辑系统中的一种分划
【摘 要】
：
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金
其他文献
讨论了含有n(n≥3)个物种的反应扩散系统的扩散驱动不稳定性,通过分析其线性化矩阵特征多项式的零次项,得到了系统产生扩散驱动不稳定性的一个必要条件.
2009年7月16日，欧特克有限公司宣布将推出最新版本的Autodesk Navisworks2010系列软件。作为欧特克数字化样机解决方案中的新成员，面向制造业的Autodesk Navisworks可帮助庞大
OBJECTIVE Tumor necrosis factor-α(TNF-α) plays a vital role in cognitive dysfunction caused by stress.In our previous study, Liuwei Dihuang-active fraction co
清嘉庆九年(1804年),八世达赖强白嘉措在布达拉宫圆寂,清廷命掌办商土事务的功德林大栻呼图克图摄政,同时寻找达赖转世的灵童。三年之后,才在西康邓柯地力(今四川甘孜州邓柯
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关
<正> 目前,我国中小型及线材轧机多采用由8～10in 钢锭经φ500～650开坯机轧成50～90mm 的热轧方坯。钢坯生产消耗大、成本高、技术落后。而紧凑式连轧机是解决连铸坯与现行中、小
目的：分析甲流的病因及流行病学特征,采取有效的预防措施,及时应对甲型H1N1流感疫情暴发的可能,有效的控制疫情扩散蔓延。方法：对2009年某院感染性疾病科收治的378例疑似病例和