A deductive neural-logic system
A propositional logic deductive system based on a three-valued neural-logic network model that the authors proposed earlier is described. It is shown that neural logic enriches the classical Boolean logic, and a heuristic search with pruning and an adaptive search are proposed as the control strategies. A system prototype and its practicality are discussed.<<ETX>>