论文信息 - admissible and derivable rules in intuitionistic logic - 字舞流文

admissible and derivable rules in intuitionistic logic

[1] Vladimir V. Rybakov,et al. Bases of admissible rules of the logics S4 and Int , 1985 .

[2] Vladimir V. Rybakov,et al. DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC , 1987 .