S4的预表扩张中的合一
逻辑
2021-08-09 v1
摘要
L.L. Maksimova与L. Esakia、V. Meskhi证明了模态逻辑S4恰有5个预表扩张：PM1-PM5。本文研究并系统整理了所有给定预表逻辑的合一问题。我们证明了PM2、PM3具有有穷型合一，PM1、PM4、PM5具有单一型合一。文中描述了这些逻辑中的完全合一器集合。
引用
@article{arxiv.2005.08506,
title = {Unification in pretabular extensions of S4},
author = {Stepan Igorevich Bashmakov},
journal= {arXiv preprint arXiv:2005.08506},
year = {2021}
}
备注
12 pages, 3 figures