Abstract
A forward reasoning engine with general-purpose should be able to deal with various logic systems with different formalizations and various formal theories based on the logic systems, and to perform deductive, inductive, and abductive reasoning based on the logic systems. This paper presents a general forward reasoning algorithm for various logic systems formalized as Hilbert style axiomatic systems, Gentzen natural deduction systems, or Gentzen sequent calculus systems, and its implementation in FreeEnCal, a forward reasoning engine with general-purpose, that we are developing.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
