关于子结构层级的一点注记
计算机科学中的逻辑
2016-02-22 v3 逻辑
摘要
我们证明，带交换的完整 Lambek 演算的所有公理扩张均可由子结构层级中 层的公式来公理化。
关键词
引用
@article{arxiv.1507.00700,
title = {A note on the substructural hierarchy},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:1507.00700},
year = {2016}
}
备注
11 pages; to appear in Mathematical Logic Quarterly