经典模态逻辑格的自同构
逻辑
2021-03-24 v1
摘要
本文分析极小经典模态逻辑系统 E 的命题扩张，它们构成一个记为 CExtE 的格。我们的分析方法使用规范形的代数计算，规范形是可应用于正规模态逻辑的正规形的推广。作为一个应用，我们辨识出 CExtE 的一组自同构，其同构于对称群 S4。
引用
@article{arxiv.2103.12709,
title = {Automorphisms of the Lattice of Classical Modal Logics},
author = {Adrian Soncodi},
journal= {arXiv preprint arXiv:2103.12709},
year = {2021}
}
备注
28 pages, 1 figure