Issue December 23, 2010
Title:
Hilbert Logic and Control systems.
Author:James Kuodo Huang
Description.
This paper is trying to integrate the Hilbert logic with a simple Control System and its related subjects.
References
(1)J. Kuodo Huang,Toward a Complete and Perfect Hilbert Axiomatic Logic System,
AMS Miami Conference April 1-3 2006.
(2)J. Kuodo Huang, Hilbert Second Problems and Uncertainty Computing,
Journal of Nanchang Institute of Technology,
Vol. 25 (2006) No. 2, Page 36-42
(3)J. Kuodo Huang, Programming in Hilbert Complete Perfect Logic ,
AMS San Francisco Meeting, April 29-30. (2006)
(4) David Hilbert, "Mathematical Problems", Bulletin of the American Mathematical Society
vol. 8, no. 10 (1902), pp. 437-479.
(5)J. Kuodo Huang, B. Chen, SRM Learning Game Theory With Application to Internet Security and Management Systems,
IEEE Proceedings Grc2007, Page 584-587
(6)J. Kuodo Huang, On Systems Software Engineering with Application to Bioinformatics,
IEEE Proceedings Grc2007, Page 628-631.
(7)J. Kuodo Huang, Hilbert Logic, Mathematical Logic and Philosophical logic,
International integrated theorectical computer science journal,
Issue Aug. 12, 2010, ISSN 2154-2236 (Online),ISSN 2152-1840(printed)