Girard quantale的若干性质 (2007年)

【文件属性】：

文件名称：Girard quantale的若干性质 (2007年)

文件大小：239KB

文件格式：PDF

更新时间：2024-06-06 16:13:39

自然科学 论文

研究了Girard quantale的内部结构,讨论了新算子→r (→l)的一系列性质。找到了 Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。