量子B代數(shù)上的正規(guī)(正則)同余

摘要： 量子B代數(shù)是Quantale的蘊(yùn)涵約簡(jiǎn)形式，它為非可換可代數(shù)化邏輯提供了統(tǒng)一的語(yǔ)義。對(duì)于量子B代數(shù)上的同余，它所對(duì)應(yīng)的商未必是一個(gè)量子B代數(shù)。本文主要介紹了量子B代數(shù)上一類特殊的同余-正規(guī)(正則)同余，它所對(duì)應(yīng)的商是一個(gè)量子B代數(shù)。證明了MV量子B代數(shù)上的每一個(gè)同余都是正則同余。 （共7頁(yè)）