A CUT-FREE CALCULUS FOR DUMMETTS LC QUANTIFIED

被引：14
作者：
CORSI, G
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1989年 / 35卷 / 04期
关键词：
D O I：
10.1002/malq.19890350402
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：289 / 301
页数：13
相关论文
共 4 条
  • [1] CORSI G, IN PRESS STUDIA LOGI
  • [2] Dummett M., 1959, J SYMBOLIC LOGIC, V24, P96
  • [3] Sonobe O., 1975, J TSUDA COLL, V7, P7
  • [4] [No title captured]
1