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 Martínez:
  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
  

Last update Tue May 21 19:37:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page