A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Starting from the general tableau-based framework f o r multiple-valued logics presented in  we show that the advantages of Smullyan's uniform notation  f o r classical logic can be made available to multiple-valued logic as well. The result is a system that serves as theoretical basis f o r automated theorem proving in multiplevalued logics.doi:10.1109/ismvl.1991.130736 dblp:conf/ismvl/Hahnle91 fatcat:byia5ymt5bfqrgo7ltnyu3nkgu