Notice of RetractionRepresenting, managing, and reasoning about mathematical knowledge based on strong relevant logic

Notice of Retraction

After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.

We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.

The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.

In order to establish a theoretical foundation for representing, managing, and reasoning about mathematical knowledge with a large knowledge-based system or a knowledge grid and then to propose new questions, invent new concepts, discover new theorems automatically for various applications, this paper proposes a new approach to mathematical knowledge representation, management, and reasoning: using strong relevant (relevance) logic rather than classical mathematical logic to underlie mathematical knowledge representation, management, and reasoning. The paper discusses why classical mathematical logic, its various classical conservative extensions, and its non-classical alternatives are not suitable candidates for the right fundamental logic to underlie knowledge discovery / machine learning, and shows that strong relevant logic is a more hopeful candidate for the purpose.