Uniform notation of Tableau rules for multiple-valued logics (1991)

by R Hähnle
Venue:In Proc. ISMVL’91