论文信息 - Semantic admissibility criteria for deduction rules in S4 and Int - 字舞流文

Semantic admissibility criteria for deduction rules in S4 and Int

Vladimir V. Rybakov

[1] V. V. Rybakov. Equations in free topoboolean algebra , 1986 .

[2] E. J. Lemmon,et al. Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[3] Vladimir V. Rybakov,et al. A criterion for admissibility of rules in the model system S4 and the intuitionistic logic , 1984 .