×

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].

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