通过非良基证明的模态Grzegorczyk逻辑切消
逻辑
2017-04-12 v1
摘要
我们提出一种允许非良基证明的模态Grzegorczyk逻辑Grz的相继式演算，并通过构造作用于这些证明上的连续切消映射，得到其切消定理。
关键词
引用
@article{arxiv.1704.03258,
title = {Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs},
author = {Yury Savateev and Daniyar Shamkanov},
journal= {arXiv preprint arXiv:1704.03258},
year = {2017}
}
备注
WOLLIC'17, 12 pages, 1 appendix