【文件属性】：
文件名称：Girard quantale的若干性质 (2007年)
文件大小：239KB
文件格式：PDF
更新时间：2021-05-17 22:26:59
自然科学 论文
研究了Girard quantale的内部结构,讨论了新算子→r (→l)的一系列性质。找到了 Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。