Girard Quantale中的算子 (2010年)

【文件属性】：

文件名称：Girard Quantale中的算子 (2010年)

文件大小：171KB

文件格式：PDF

更新时间：2024-06-05 09:54:55

自然科学 论文

讨论了Girard Quantale的内部结构，研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系，证明了Girard Quantale中六个二元算中的任何一个结合一元算子上均可以完全刻画剩余的五个二元运算.