讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.
In this paper,the interior structure of Girard Quantales is studied.Some properties and relationes of the operators are discussed in Girard Quantales.At last,we prove that any a binary operator and the unary operator together can define the five other binary operators.