基于剩余格的模糊逻辑的态研究

将G.Georgescu的Bosbach态的思想引入到基于左连续三角模的逻辑代数、弱对偶剩余格序半群及非可换代数系统中，提出Bosbach态的概念，研究Bosbach态的基本性质、刻画、存在性、表示以及它和滤子之间的关系，给出Bosbach态存在的充分必要条件；提出Rican 态和极态的概念，研究它们的基本性质、刻画以及存在性，讨论Rican态和Bosbach态、Rican态和滤子、 极态和极大滤子之间的关系。在基于剩余格的逻辑代数中建立态射模型，研究其基本性质及刻画；研究态射分别和Bosbach态、Rican 态、极态、 极大滤子之间的相互关系。建立具有态理论的逻辑系统模型，研究它的可靠性和完备性问题。.本研究是非经典逻辑研究领域的一个创新性的研究，此学科交叉研究会带来很多很有意义的研究课题。同时，基于剩余格的模糊逻辑研究在电路设计、模糊控制、人工智能、模糊逻辑规划等领域有着很好的应用。