אנגלית ⇄ סינית +

automatic deduction in nonstandard logics
.בינה	非标准逻辑中的自动演绎