HILBERT LOGIC

HILBERT-LOGIC.COM is a non-profit website dedicated to update the most recent results and activities related to new logic theory called "Hilbert Logic theory". Hilbert logic is also called Hilbert Complete Perfect Logic which was first coined by Dr. James Kuodo Huang in 2005 through studying Hilbert second problem and Hilbert sixth problem. Hilbert logic can be two-valued logic or three-valued logic or even multi-valued logic. Of course two-valued Hilbert logics are most interesting. Hilbert logic is not the same as "Hilbert systems (physicists called)". Hilbert Logic is also not the same as "Hilbert spaces (the classic mathematics). Hilbert's deductive systems are based on Boolean algebra and Hilbert-Huang Algebras are extension of Boolean Algebra. However they are related in some ways. If a Physical Hilbert system can be proved to be consistent and sound in Hilbert logic theory, then it will be considered to be a science logic integral. If a mathematical Hilbert style deductive..