正逻辑中的可采纳性
逻辑
2016-10-28 v1
摘要
本文研究正逻辑中多结论规则的可采纳性。利用 M. Wajsberg 在分离定理证明中使用的方法的修正，表明正逻辑中的可采纳性问题等价于由正附加公理定义的中间逻辑中的可采纳性问题。
引用
@article{arxiv.1610.08700,
title = {Admissibility in Positive Logics},
author = {Alex Citkin},
journal= {arXiv preprint arXiv:1610.08700},
year = {2016}
}