Uniform notation of tableau rules for multiplevalued logics (1991)

by R Hähnle
Venue:In Proc. International Symposium on MultipleValued Logics, ISMVL’91