关于带EXTRUE的高阶RUE-消解的一个注记
人工智能
2009-01-26 v1 计算机科学中的逻辑
摘要
我们证明，一阶RUE-消解完备性的一个著名反例不适用于带EXTRUE的高阶RUE-消解方法。
引用
@article{arxiv.0901.3608,
title = {A remark on higher order RUE-resolution with EXTRUE},
author = {Christoph Benzmueller},
journal= {arXiv preprint arXiv:0901.3608},
year = {2009}
}
备注
3 pages