论文部分内容阅读
讨论了Quantic格与Quantale以及Quantic格与分配格的关系。证明了左侧Quantic格构成交换 Quantale的充要条件是对任意的a、b、c∈Q,a→(b→c)=b→(a→c)。给出 Quantic格中素元与S-素元的概念,讨论了它们的一系列性质,得到 Quantic格中素元的等价刻画,证明了S-素元在满足一定条件的映射f下的像是f (S)-素元。