On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic Francesc EstevaJoan GispertFranco Montagna OriginalPaper Pages: 199 - 226
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀ Franco MontagnaHiroakira Ono OriginalPaper Pages: 227 - 245
Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms Anthony Hunter BookReview Pages: 247 - 258