研究了Girard quantale的内部结构，讨论了新算子｜→r（｜→l）的一系列性质．找到了Girard quantale的等价刻画以及一个D—quantale是Girard ......