Studia Logica, Volume 68

Volume 68, Number 1, June 2001

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

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

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