Classical Lambek logic

被引：0
|
作者：
Hudelmaier, J
SchroederHeister, P
机构：
来源：
THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS | 1995年 / 918卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We discuss different options for two-sided sequent systems of noncommutative linear logic and prove a restricted form of cut elimination.
引用
收藏
页码：247 / 262
页数：16
相关论文
共 50 条
12345