Studia Logica, Volume 61

Volume 61, Number 1, July 1998

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

Andrzej Kisielewicz: A Very Strong Set Theory? 171-178
Valentin Goranko: Axiomatizations with Context Rules of Inference in Modal Logic. 179-197
Ken-etsu Fujita: On Proof Terms and Embeddings of Classical Substructural Logics. 199-221
Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons: Curry-Howard Terms for Linear Logic. 223-235
Dov M. Gabbay, Nicola Olivetti: Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. 237-280
Dmitrij P. Skvortsov: On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. 281-292

Judit X. Madarász: Interpolation and Amalgamation; Pushing the Limits - Part I. 311-345
Tatjana L. Plotkin, Sarit Kraus, Boris I. Plotkin: Problems of Equivalence, Categoricity of Axioms and States Description in Databases. 347-366
Guram Bezhanishvili: Varieties of Monadic Heyting Algebras - Part I. 367-402
Rainer Kerth: Isomorphism and Equational Equivalence of Continuous [lambda]-Models. 403-415
Daniel Dzierzgowski: Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. 417-428