Stathis Gikas

• On the completeness of inference systems for inequational deductions