资 源 简 介
A toolkit for many-valued logics with a finite number of truth values
The mvl-toolkit is a part of my research in philosophical logic (PDF of research project presentation) at the Center for Logic and Philosophy of Science (CLWF-VUB).
The above was supposed to be a part of my PhD research, but I have changed the focus of my PhD research towards logic and axiomatic systems for relativity theory, there is more about that on the PhDwiki. The result of this is that the current MVL project has lower urgency to me. Progress will be very slow from now on.
The mvl-toolkit is still in a very early stage of development. It has been tested to
