Studia Logica, Volume 68

Volume 68, Number 1, June 2001

• Volker Halbach: Editorial Introduction. 3-20
• Benedikt Löwe, Philip D. Welch: Set-Theoretic Absoluteness and the Revision Theory of Truth. 21-41
• Maricarmen Martinez: Some Closure Properties of Finite Definitions. 43-68
• Hannes Leitgeb: Theories of Truth Which Have No Standard Models. 69-87
• Michael Sheard: Weak and Strong Theories of Truth. 89-101
• Reinhard Kahle: Truth in Applicative Theories. 103-128
• Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy III. 129-142
• Franco Montagna: Three Complexity Problems in Quantified Fuzzy Logic. 143-152

Volume 68, Number 2, July 2001

• Robert Goldblatt: Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. 155-171
• Gerard Allwein, Wendy MacCaull: A Kripke Semantics for the Logic of Gelfand Quantales. 173-228
• Tarek Sayed Ahmed, István Németi: On Neat Reducts of Algebras of Logic. 229-262
• Mojtaba Aghaei, Mohammad Ardeshir: Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. 263-285

Volume 68, Number 3, August 2001

• Anatolij Dvurecenskij: States on Pseudo MV-Algebras. 301-327
• Branden Fitelson, Larry Wos: Finding Missing Proofs with Automated Reasoning. 329-356
• C. F. M. Vermeulen: A Calculus of Substitutions for DPL. 357-387