NML代数的性质及其滤子与理想

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

NML代数的滤子及其结构

首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。

IBC代数的性质及等价刻画

本文采用IMV代数的构造方法,定义了IBC代数,对其相关性质进行了初步研究,进而在其上定义了偏序关系,给出了IBC代数的一种构造方法,并给出了IBC代数的等价公理系统。