Short circuit evaluations in Gödel 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 Gödel logic is considered. Various pruning algorithms are presented to quicken the evaluations of logical formulae in Gödel logic. Simulation results show the efficiency of the presented techniques.