模态代数-一流百科

模态代数

简介在代数和逻辑中，模态代数是一种结构⟨A,∧,∨,-,0,1,◻⟩{displaystylelangleA,land,lor,-,0,1,Boxrangle}这样一来{displaystyleBox}是对A的单项操作，满足于...

词条百科