Roanes-Lozano, Eugenio; Alonso, Jose Antonio; Hernando, … - In: Mathematics and Computers in Simulation (MATCOM) 104 (2014) C, pp. 31-42
We have recently developed a package in Maple that allows to perform logical computations in any existing or proposed many-valued logic (that can be defined using truth tables). It has applications in logic engineering (e.g. when creating a new logic adapted to some requirements), in theoretical...