MIPC AS FORMALISATION OF AN INTUITIONIST CONCEPT OF MODALITY

被引：30
作者：
BULL, RA
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 04期
关键词：
D O I：
10.2307/2269696
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：609 / &
相关论文
共 5 条
  • [1] Bull R.A., 1965, NOTRE DAME J FORM L, V6, P142, DOI DOI 10.1305/NDJFL/1093958154
  • [2] CROSSLEY JN, 1965, FORMAL SYSTEMS RE ED
  • [3] Fitch F. B., 1948, PORT MATH, V7, P113
  • [4] Kripke Saul, 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568
  • [5] Kripke Saul A., 1965, FORMAL SYSTEMS RECUR, P92
1