INCONSISTENT MODELS FOR RELEVANT ARITHMETICS

被引：31
作者：
MEYER, RK [1 ]
MORTENSEN, C [1 ]
机构：
[1] UNIV ADELAIDE,ADELAIDE,SA 5001,AUSTRALIA
来源：
JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 03期
关键词：
D O I：
10.2307/2274145
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：917 / 929
页数：13
相关论文
共 10 条
  • [1] ANDERSON A, 1975, ENTAILMENT
  • [2] ASENJO FG, UNPUB PARACONSISTENT
  • [3] DUNN JM, 1981, 1980 P BIENN M PHIL, V2, P512
  • [4] Meyer R., UNPUB
  • [5] Meyer R. K., 1976, B SECTION LOGIC, V5, P133
  • [6] MEYER RK, 1968, Z MATH LOGIK GRUNDLA, V14, P385
  • [7] MEYER RK, 1976, UNPUB MONOGRAPH AUST
  • [8] Mortensen C., 1981, LOG ANAL, V24, P381
  • [9] Mortensen C., 1982, NOTRE DAME J FORM L, V23, P85
  • [10] ROUTLEY R, 1980, DEP MONOGRAPH PHILOS, P927
1