Hähnle, Reiner Tableaux for many-valued logics. (English) Zbl 0972.03531 D’Agostino, Marcello (ed.) et al., Handbook of tableau methods. Dordrecht: Kluwer Academic Publishers. 529-580 (1999). See the review of the entire collection (Zbl 0956.03001).For the entire collection see [Zbl 0956.03001]. Cited in 10 Documents MSC: 03B50 Many-valued logic 03F07 Structure of proofs 03B35 Mechanization of proofs and logical operations 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations Citations:Zbl 0956.03001 PDFBibTeX XMLCite \textit{R. Hähnle}, in: Handbook of tableau methods. Dordrecht: Kluwer Academic Publishers. 529--580 (1999; Zbl 0972.03531)