论文部分内容阅读
NML代数是柳代数和NM(R0)代数的共同基础,其系统在几类重要的逻辑系统中居于承上启下的地位,在NML代数中引入滤子(理想)这个工具以后,可以证明许多代数系统具有可嵌入性,从而为这些形式系统具有完备性作了准备.讨论了NML代数的性质,并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念,并利用布尔MP-滤子建立了NML代数的结构:若F是布尔滤子,则M/~F是布尔代数,即NML代数的商代数是布尔代数.