A Discovery of the Relevance of Eastern Four-valued (Catuskoti) Logic to Define Modular Transformations When There are Multiple Ways of Representing the Same Modular Transformation

摘要

There were two methods of doing modular transformations from Entity Relationship Diagrams to Class Diagrams according to international researchers. In order to establish which method would best suit software engineers, we conducted a survey by giving a group of students in the computer science field, whom we considered potential future software engineers. The results we got were valid, but did not match those of any of the international researchers. We found that this situation could only be explained using Eastern Four-Valued logic, also known by such names as Catuskoti and Tetralemma.