A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations

1. Davis, M.: The Early History of Automated Deduction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 5–15. Elsevier and MIT Press (2001)

   Google Scholar 

2. Robinson, A., Voronkov, A. (eds.): Handbook of Automated Reasoning. vol. 1-2. Elsevier and MIT Press (2001)

   Google Scholar 

3. Cheng, J., Nara, S., Goto, Y.: FreeEncal: A Forward Reasoning Engine with General-purpose. In: Apolloni, B., Howlett, R.J., Jain, L.C. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

4. Cheng, J.: EnCal: An Automated Forward Deduction System for General–purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proceedings of the 14th WCC, Canberra, pp. 507–517. Chapman & Hall, Boca Raton (1996)

   Google Scholar 

5. Goto, Y., Nara, S., Cheng, J.: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security. International Journal of Computing Anticipatory Systems 14, 156–171 (2004)

   Google Scholar 

6. Barwise, J. (ed.): Handbook of Mathematical Logic. North-Holland, Amsterdam (1977)

   Google Scholar 

7. van Dalen, D.: Logic and Structure, 3rd edn. Springer, Heidelberg (1994)

   MATH  Google Scholar 

8. Socher-Ambrosius, R., Johann, P.: Deduction Systems. Springer, Heidelberg (1997)

   MATH  Google Scholar 

9. Winston, P.H., Horn, B.K.P.: LISP, 3rd edn. Addison-Wesley, Reading (1989)

   Google Scholar 

10. Szabo, M.E. (ed.): The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam (1969)

    MATH  Google Scholar 

Download references