态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

R_0-代数的几类犹豫模糊滤子

把犹豫模糊集理论应用在R_0-代数上,给出R_0-代数的犹豫模糊MP滤子、犹豫模糊素MP滤子、犹豫模糊蕴涵滤子的概念,讨论R_0-代数上这几类犹豫模糊滤子的性质以及它们之间的等价刻画。     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

R_0-代数的扰动模糊子代数和扰动模糊MP滤子

把扰动模糊集理论应用在R_0-代数上,给出R_0-代数的扰动模糊子代数,扰动模糊MP滤子的概念,讨论R_0-代数上扰动模糊子代数的等价刻画和扰动模糊MP滤子的若干性质;研究了扰动模糊MP滤子的同态像和逆像。     

系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

修正的Product逻辑系统中的广义重言式理论

首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分；其次通过引入一类特殊的公式序列和特殊公式，进一步证明了对任意有理数a∈[0，1]，可达α-重言式集是类类非空的，并同时给出了修正的Product逻辑系统中广义重言式的升级算法。     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

Hierarchical structure and applications of fuzzy logical systems

This paper focuses on hierarchical structures of formulas in fuzzy logical systems. Basic concepts and hierarchical structures of generalized tautologies based on a class of fuzzy logical systems are discussed. The class of fuzzy logical systems contains the monoidal t-norm based system and its several important schematic extensions: the ?ukasiewicz logical system, the Gödel logical system, the product logical system and the nilpotent minimum logical system. Furthermore, hierarchical structures of generalized tautologies are applied to discuss the transformation situation of tautological degrees during the procedure of fuzzy reasoning.     

区间值模糊命题逻辑系统的广义恒真式

建立区间值模糊命题逻辑系统F(∨，∧，σ┴，c)，其中，α^-θ┴b=(α^-)^c┴b^-,┴是I[0,1]中的t-余范；讨论系统F(∨，∧，σ┴，c)与对应的模糊命题逻辑系统F(∨，∧，σ┴，c)在广义恒真式方面的相互关系，得到定理：T^-[0,α]（F^-∨，∧，σ┴，c)=Tα(F(∨，∧，σ┴，c))。     

On the Bifurcations and Multiple Endemic States of a Single Strain HIV Model Dedicated to Professor Toshikazu Sunada on the Occasion of his 60th Birthday

The dynamics of a single strain HIV model is studied.The basic reproduction number R_0 used as a bifurcation parameter shows that the system undergoes transcritical and saddle-node bifurcations.The usual threshold unit value of R_0 does not completely determine the eradication of the disease in an HIV infected person.In particular,a sub-threshold value R_C is established which determines the system's number of endemic states:multiple if R_c Ro 1,only one if R_C = R_0 = 1,and none if R_0 R_C 1.     

Fuzzy propositional logics

Fuzzy logic $\text{L}$_∞9 considered in connection with fuzzy sets theory, is a special theory, is a special many valued logic with truth-value sets [0, 1], which has been studied already by Lukasiewicz. We consider also his versions $\text{L}$_m for m ? 2 with finite truth-value sets. In all cases we add two further propositional connectives, one conjunction and one disjunction. For these logics we give a list of tautologies, consider relations between their sets of tautologies, prove their compactness, and mention some further results.     

推广的Bessel过程的L~p估计

随机微分方程dX_t=(δf~2(t)-h(t)X_t)dt+2f(t) │X_t│～(1/2)dBt,(X_0=x,δ>0)的解X_t是一种推广的δ(δ>0)维Bessel过程.文章对于任意停时τ给出了‖sup0≤t≤τη(t)X_t‖p的L~p估计,其中η:R_+→R_+是一个R+上的可微函数,而且满足微分方程dη/dt-h(t)η=-η~2f~2(t),η(0)=1.     

具有垂直传染且总人口在变化的SIRS传染病模型的渐近分析

讨论了具有垂直传染且总人口在变化的连续预防接种SIRS传染病模型,给出了基本再生数R_0的表达式,并利用广义Bendixson-Dulac函数方法证明了无病平衡点和地方病平衡点的全局稳定性.     

Proof complexity of intuitionistic implicational formulas

We study implicational formulas in the context of proof complexity of intuitionistic propositional logic (IPC). On the one hand, we give an efficient transformation of tautologies to implicational tautologies that preserves the lengths of intuitionistic extended Frege (EF) or substitution Frege (SF) proofs up to a polynomial. On the other hand, EF proofs in the implicational fragment of IPC polynomially simulate full intuitionistic logic for implicational tautologies. The results also apply to other fragments of other superintuitionistic logics under certain conditions.In particular, the exponential lower bounds on the length of intuitionistic EF proofs by Hrube? (2007), generalized to exponential separation between EF and SF systems in superintuitionistic logics of unbounded branching by Je?ábek (2009), can be realized by implicational tautologies.