The Logics’ Explorer : a Maple package for exploring finite many-valued propositional logics

The big computer algebra systems like Maple are no longer restricted to symbolic computations, but are becoming general purpose tools for engineers, mathematicians, and scientists instead. We have worked for a long time with many-valued logics and we believe that a flexible and comfortable tool that allowed to perform logical computations (for instance, to explore properties) in any existing or proposed many-valued logic with any notation for the truth values of the logic, could be very useful and time-saving. Therefore we have implemented such an extension of Maple that goes beyond Maple ’s logic package and also beyond some previous implementations of these authors included with the Derive and Macsyma distributions some years ago. The logical connectives can be defined both using truth tables or in a functional way.