Short Circuit Evaluations in Godel Type Logic

Abstract

Short circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Godel logic is considered. Various pruning algorithms are presented to quicken the evaluations of logical formulae in Godel logic. Simulation results show the efficiency of the presented techniques.