Labeled Calculi and Finite-Valued Logics Matthias BaazChristian G. FermüllerRichard Zach OriginalPaper Pages: 7 - 33
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit Roberto CignoliDaniele Mundici OriginalPaper Pages: 49 - 64
Finitely Generated Free MV-algebras and Their Automorphism Groups Antonio Di NolaRevaz GrigoliaGiovanni Panti OriginalPaper Pages: 65 - 78
Quasivarieties Generated by Simple MV-algebras Joan GispertAntoni Torrens OriginalPaper Pages: 79 - 99
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic Reiner Hähnle OriginalPaper Pages: 101 - 121