Abduction in Non-Axiomatic Logic

Pei Wang
This paper introduces various inference rules (deduction, abduction, and induction) in Non-Axiomatic Logic. These rules are represented in a term-oriented language, and justified according to a common semantic foundation. The implementation and application of these rules are briefly described. Finally, this approach is compared with the other approaches, specially with respect to abduction.