论文信息 - A Cut-Free Calculus For Dummett's LC Quantified - 字舞流文

A Cut-Free Calculus For Dummett's LC Quantified

Giovanna Corsi | G. Corsi

[1] Giovanna Corsi. Semantic trees for Dummett's logic LC , 1986, Stud Logica.