Research of Reduction from the View of Pansystems.
Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang · Lanzhou University Institutional Repository · 2007
Mathematical logic has been, in good part, developed and pursued with the hope of providing practical algorithmic tools for doing reasoning, both in everyday life and in mathematics, first by hand or mechanical means, and later by electronic computers. Resolution theorem proving is a mainstay of modern automated theorem proving. In this text, we discuss the resolution principle from the viewpoint of Pansystems. And then propose a new order definition based on the process of resolution.