PROOF THEORIES FOR SEMILATTICE LOGICS

被引：11
作者：
GIAMBRONE, S [1 ]
URQUHART, A [1 ]
机构：
[1] UNIV TORONTO,DEPT PHILOSOPHY,TORONTO M5S 1A1,ONTARIO,CANADA
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1987年 / 33卷 / 05期
关键词：
D O I：
10.1002/malq.19870330507
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：433 / 439
页数：7
相关论文
共 14 条
  • [1] Anderson A. R., 1975, ENTAILMENT LOGIC REL, VI
  • [2] CHARLWOOD G, 1981, J SYMBOLIC LOGIC, V46, P231
  • [3] CHARLWOOD GW, 1978, THESIS U TORONTO
  • [4] Church A., 1951, KONTROLLIERTES DENKE, P22
  • [5] FINE K, 1976, J SYMBOLIC LOGIC, V41, P560
  • [6] A CONTRACTIONLESS SEMILATTICE SEMANTICS
    GIAMBRONE, S
    MEYER, RK
    URQUHART, A
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (02) : 526 - 529
  • [7] GIAMBRONE S, 1965, J PHILOS LOGIC, V14, P235
  • [8] GIAMBRONE S, 1983, THESIS AUSTR NATIONA
  • [9] GIAMBRONE S, 1987, STUDIA LOGICA, V46
  • [10] Moh Shaw-kwei, 1950, METHODOS, V2, P56
12