M（M）odal量子数，对合量子数，D类伊德金问uantales公司

乔治·斯特鲁斯 📧和卡梅隆·卡克

2023年7月25日

这是此条目的开发版本。它可能会随着时间而变化，并且不稳定。请参阅发布版本以获取引文。

摘要

此AFP条目提供了模态量子数的数学组件，对合量子数和德德金量子数。模态量子数是模态Kleene代数的简单扩张递归程序的验证。对合量子数出现在C*-代数的研究。Dedekind量子数是塔斯基关系代数，因此与程序验证相关除此之外，还有更高的重写。我们还提供弱变量的分量，如带有逆的Kleene代数和具有逆的模态Kleene代数。

许可证

许可协议

话题

相关出版物

  • Fahrenberg，U.、Johansen，C.、Struth，G.和Zimiaáski，K.（2023）。Catoid和模态卷积代数。《普遍代数》，84（2）。https://doi.org/10.1007/s00012-023-00805-9
  • Calk，C.、Malbos，P.、Pous，D.和Struth，G.（2023年）。高等类星体、高等量子数及其对应（版本2）。arXiv公司。https://doi.org/10.44850/ARXIV.2307.09253

会话Quantales_Converse

取决于

使用者

引用

× 
@文章{Quantales_Converse-AFP，author={Georg Struth和Cameron Calk}，title={模态量子数，对合量子数，Dedekind量子数}，journal={正式证据存档}，月={7月}，年份={2023}，注意={\url{https://isa-afp.org/entries/Quantales_Converse.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：