一阶模糊逻辑算术复杂度中若干问题的解
逻辑
2011-11-28 v1
摘要
这篇短文解决了 Franco Montagna 和 Carles Noguera 先前一篇论文中遗留的开放问题。除了给出这两个问题的解之外,还讨论了其中证明里完整词汇(包括函数符号)作用的一些澄清。
引用
@article{arxiv.1111.5920,
title = {Solution of some problems in the arithmetical complexity of first-order fuzzy logics},
author = {Félix Bou and Carles Noguera},
journal= {arXiv preprint arXiv:1111.5920},
year = {2011}
}
备注
5 pages