Volume 61,
Number 1,
July 1998
- C. C. Chang:
The Writing of the MV-algebras.
3-6 BibTeX
- Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach:
Labeled Calculi and Finite-Valued Logics.
7-33 BibTeX
- Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek:
Embedding Logics into Product Logic.
35-47 BibTeX
- Roberto Cignoli, Daniele Mundici:
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit.
49-64 BibTeX
- Antonio di Nola, Revaz Grigolia, Giovanni Panti:
Finitely Generated Free MV-algebras and Their Automorphism Groups.
65-78 BibTeX
- Joan Gispert, Antoni Torrens:
Quasivarieties Generated by Simple MV-algebras.
79-99 BibTeX
- Reiner Hähnle:
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.
101-121 BibTeX
- Ulrich Höhle:
GL-Quantales: Q-Valued Sets and Their Singletons.
123-148 BibTeX
- Zbigniew Stachniak:
On Finitely-Valued Inference Systems.
149-169 BibTeX
Volume 61,
Number 2,
September 1998
Volume 61,
Number 3,
November 1998
Copyright © Thu Sep 4 22:01:37 2008
by Michael Ley (ley@uni-trier.de)
