$\Pi_2$-推理规则的可采纳性：插值、模型完备与接触代数
逻辑
2022-01-19 v1
摘要
我们设计了三种通过插值、一致插值和模型完备来识别非标准推理规则可采纳性的策略。我们将我们的方法应用于对称蕴涵演算 的情形，其中我们还通过其等价理论接触代数，给出了其代数对应之模型完备的有限公理化。利用这一结果，我们获得了可采纳 -规则的有限基。
引用
@article{arxiv.2201.06076,
title = {Admissibility of $\Pi_2$-Inference Rules: interpolation, model completion, and contact algebras},
author = {Nick Bezhanishvili and Luca Carai and Silvio Ghilardi and Lucia Landi},
journal= {arXiv preprint arXiv:2201.06076},
year = {2022}
}
备注
25 pages