CUT-RULE AXIOMATIZATION OF PRODUCT-FREE LAMBEK CALCULUS WITH THE EMPTY STRING

被引：3
|
作者：
ZIELONKA, W
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1988年 / 34卷 / 02期
关键词：
D O I：
10.1002/malq.19880340207
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：135 / 142
页数：8
相关论文
共 9 条
1