具有不动点的对合单形式逻辑具有有限的强标准完备性
摘要
出版物: -
arXiv电子打印 发布日期: 2019年10月 内政部: -
10.48550/arXiv.1910.01393 arXiv: -
arXiv:1910.01393 书目代码: -
2019arXiv191001393J 关键词: -
数学-逻辑