automatic deduction in nonstandard logics

• 非标准逻辑中的自动演绎