Classica lLogic as a subclass of Neutrosophic Logic
Angelo de Oliveira, Marina Nogueira Carvalho de Oliveira · Zenodo (CERN European Organization for Nuclear Research) · 2020
It is customary in mathematics that almost all new developments maintain compatibility with what is already proved and accepted. Following this way, neutrosophic logic has the classical logic as subset. However, in mathematics, all the affirmations must be proved first to be accepted, so the claim that the neutrosophic logic encompass classical logic must be also proved. Thus, this paper show that the main properties of the classical logic hold when translated to neutrosophic form at propositional level.