Fuzzy natural deduction
暂无分享，去创建一个
[1] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[2] Vilém Novák,et al. First-order fuzzy logic , 1987, Stud Logica.
暂无分享，去创建一个
[1] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[2] Vilém Novák,et al. First-order fuzzy logic , 1987, Stud Logica.