中英▼

模态代数 百科内容来自于： 百度百科

简介

在代数和逻辑中，模态代数是一种代数结构，具体定义请参见正文。模态代数提供了命题模态逻辑的模型，以和布尔代数是经典逻辑的模型相同的方式。特别是，所有模态代数的簇是在抽象代数逻辑意义下的模态逻辑 K 的等价代数语义，并且它的子簇们的格对偶同构于正规模态逻辑的格。
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定