Loading AI tools
来自维基百科,自由的百科全书
模态代数提供了命题模态逻辑的模型,以和布尔代数是经典逻辑的模型相同的方式。特别是,所有模态代数的簇是在抽象代数逻辑意义下的模态逻辑 K 的等价代数语义,并且它的子簇们的格对偶同构于正规模态逻辑的格。
Stone布尔代数表示定理可以推广为 Jónsson–Tarski对偶性,它确保了每个模态代数可以表示为在模态一般框架内可容纳的集合们的代数。
A. Chagrov and M. Zakharyaschev, Modal Logic, Oxford Logic Guides vol. 35, Oxford University Press, 1997. ISBN 0-19-853779-4
这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
这是一篇关于代数的小作品。您可以通过编辑或修订扩充其内容。 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.