论文信息 - The deduction theorem for Łukasiewicz many-valued propositional calculi - 字舞流文

The deduction theorem for Łukasiewicz many-valued propositional calculi

Witold A. Pogorzelski

[1] R. Suszko. Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations , 1961 .

[2] J. Łoś,et al. Remarks on sentential logics , 1958 .