模态μ演算单变量片段的切割消去
计算机科学中的逻辑
2012-02-17 v1
摘要
我们建立了模态μ演算单变量片段的语法切割消去。我们的方法基于Mints最近提出的一种利用Buchholz Omega规则的切割消去技术。
引用
@article{arxiv.1202.3501,
title = {Cut-elimination for the mu-calculus with one variable},
author = {Grigori Mints and Thomas Studer},
journal= {arXiv preprint arXiv:1202.3501},
year = {2012}
}
备注
In Proceedings FICS 2012, arXiv:1202.3174