Automated Reasoning Automated Reasoning
2016
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
2008