具有不动点的对合非形式逻辑具有有限强标准完全性
摘要
出版物: -
arXiv电子打印 发布日期: 2019年10月 DOI(操作界面): -
10.48550/arXiv.1910.01393 arXiv: -
arXiv:1910.01393 书目代码: -
2019arXiv191001393J 关键词: -
数学-逻辑