Girard相关论文
名表作为一种高档奢侈品因不受流行指数，季节不同的影响而降价，相反有着保值增值的作用；拍卖佳绩，限量产品、量身定制、定期提价，正是这......
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六......
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础；特别是Girard quantales中的“ ”运算，......
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.......
本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子....
<正>1概述1.1慢重症概念的提出1985年,美国Girard等[1]发现ICU中的部分患者渡过疾病的急性期后,需要长时间生命支持和护理,主要表......
研究了Girard quantale的内部结构，讨论了新算子｜→r（｜→l）的一系列性质．找到了Girard quantale的等价刻画以及一个D—quantale是Girard ......
研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些......
利用Quantale中余核映射的思想和方法,在Q-代数中引入了Q-代数余核映射的概念,得到了Q-代数余核映射的若干性质,讨论了Q-代数余核......
在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念，研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质，给出了Girard......
