A LUKASIEWICZ-STYLE REFUTATION SYSTEM FOR THE MODAL LOGIC S4

被引：6
作者：
SKURA, T
机构：
[1] Department of Logic, University of Wrocław, Wroclaw, 50-139
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1995年 / 24卷 / 06期
关键词：
D O I：
10.1007/BF01306967
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
[No abstract available]
引用
收藏
页码：573 / 582
页数：10
相关论文
共 7 条
  • [1] Bull R., 1984, HDB PHILOS LOGIC
  • [2] Goranko V., 1991, B SECT LOGIC POLISH, V20, P23
  • [3] Goranko V., 1994, STUDIA LOGICA, V53, P299, DOI [10.1007/BF01054714, DOI 10.1007/BF01054714]
  • [4] Lukasiewicz J., 1951, ARISTOTLES SYLLOGIST
  • [5] MAKINSON D, 1971, ASPECTOS LOGICA MODA
  • [6] Rasiowa H., 1963, MATH METAMATHEMATICS
  • [7] Skura T., 1992, NOTRE DAME J FORM L, V33, P552, DOI [10.1305/ndjfl/1093634486, DOI 10.1305/NDJFL/1093634486]
1