Uniform notation of tableau rules for multiple-valued logics

R. Hahnle
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic  
Starting from the general tableau-based framework f o r multiple-valued logics presented in [5] we show that the advantages of Smullyan's uniform notation [7] 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