论文部分内容阅读
证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г-真度和条件真度存在的充要条件.
系统Ln^＊的逻辑性质及其应用
【摘 要】
：
证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г-真度和条件真度存在的充要条件.
【机 构】
：
浙江理工大学理学院
【出 处】
：
高校应用数学学报：A辑
【发表日期】
：
2011年2期
【基金项目】
：
国家自然科学基金（10871229,60863002）, 浙江理工大学科研项目（YJG-Z07001）
其他文献
目的：探讨胸腔注入顺铂（DDP）联合白细胞介素-2（IL-2）治疗恶性胸腔积液疗效。方法：58例患者均病理确诊为恶性胸腔积液，随机分为二组，治疗组（32例）在胸腔内注入DDP，白细胞介素-2，对照组（26例
目的：探讨瑞芬太尼靶控输注在静吸复合麻醉中应用的临床意义。方法：选择2005年-2006年在我院行妇科腹腔镜手术病．＆120例，随机分为两组，每组60例，分别用瑞芬太尼或芬太尼＋丙泊酚＋安定＋司
设Fq是q元有限域，q是素数的幂．令信源集S为Fq上所有的n×n交错矩阵的合同标准形，编码规则集E为Fq上所有的n×n非奇异矩阵，信息集M为Fq上所有的n×n交错矩阵，构造映射f
在李乔等人的L形瓦理论的基础上,使用中国剩余定理等数论理论,证明任给整数k〉2,可以构造k紧优双环网络的无限族,其结点数N（k,e）可以为e的4次多项式,也可以为e的2次多项式且系
基于保险公司在首次破产后仍能继续运转的情形,讨论并得到了Markov- modulated风险模型中盈余过程零点数的分布.
天宝战争是唐玄宗天宝年间发生在南诏与唐王朝之间一场惨烈的战争。对于这场战争的起因、经过、影响等问题，研究者很多，相关成果也出了不少。而对当时的人们如何看待这场战争？战
对于经济环境下带扩散扰动古典风险过程的重要性质进行了讨论,给出了有限时间的破产概率的上界估计.
研究Kawahara-BO方程在低正则Sobolev空间H^T上的局部适定性和极限行为。证明了：当r〉-5-7时，对任意的初始值u0∈H^T，Kawahara-BO方程的Cauchy问题存在唯一的解u∈C（[0，T]H^T）∩X^T
避免构造Lyapunov函数的困难,运用广义Dahlquist数方法研究了Cohen- Grossberg神经网络模型的指数稳定性,不但得到了Cohen-Grossberg神经网络平衡点存在惟一性和指数稳定性的