Journal of Logic and Computation, Volume 19

Volume 19, Number 1, February 2009

• S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
  Logic and Computation in the Real World: CiE 2007. 1-2
  
• George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber:
  K-Triviality of Closed Sets and Continuous Functions. 3-16
  
• Andrej Bauer, Christopher A. Stone:
  RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. 17-43
  
• Vasco Brattka, Guido Gherardi:
  Borel Complexity of Topological Operations on Computable Metric Spaces. 45-76
  
• Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu:
  Pseudojumps and Pi₁⁰ Classes. 77-87
  
• Yijia Chen, Jörg Flum:
  Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. 89-122
  
• Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Existentially Closed Models and Conservation Results in Bounded Arithmetic. 123-143
  
• Barbara F. Csima:
  The Settling Time Reducibility Ordering and Delta₂⁰ Sets. 145-150
  
• Iskander Sh. Kalimullin:
  Enumeration Degrees and Enumerability of Familes. 151-158
  
• Margarita V. Korovina, Oleg V. Kudinov:
  The Uniformity Principle for Sigma-definability. 159-174
  
• Branislav Rovan, L'ubos Steskal:
  Infinite Computations and a Hierarchy in Delta₃ Reconsidered. 175-176
  
• Victor L. Selivanov:
  Undecidability in Some Structures Related to Computation Theory. 177-197
  
• Alexandra A. Soskova, Ivan N. Soskov:
  A Jump Inversion Theorem for the Degree Spectra. 199-215
  
• Iain A. Stewart:
  Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays. 217-242
  

Volume 19, Number 2, April 2009

• Matthias Baaz, George Metcalfe:
  Fuzzy Logic Corner. 343
  

• Petr Cintula, Petr Hájek:
  Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. 245-260
  

• Maribel Fernández:
  Rewriting Corner. 261
  

• Miquel Bofill, Albert Rubio:
  Paramodulation with Well-founded Orderings. 263-302
  

• Yde Venema:
  Algebraic and Coalgebraic Logic Corner. 303
  

• Szabolcs Mikulás:
  Algebras of Relations and Relevance Logic. 305-321
  

• Emil Jerábek:
  Proof Complexity of the Cut-free Calculus of Structures. 323-339
  
• Murdoch James Gabbay:
  Nominal Algebra and the HSP Theorem. 341-367
  
• Nicole Bidoit, Matthieu Objois:
  Fixpoint and While Temporal Query Languages. 369-404
  
• Yan Zhang:
  Updating Epistemic Logic Programs. 405-423
  
• Santiago Figueira, Joseph S. Miller, André Nies:
  Indifferent Sets. 425-443
  

Volume 19, Number 3, June 2009

• Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi:
  Connections between Belief Revision, Belief Merging and Social Choice. 445-446
  
• Konstantinos Georgatos:
  Geodesic Revision. 447-459
  
• Jon Williamson:
  Aggregating Judgements by Merging Evidence. 461-473
  
• Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
  Aggregating Partially Ordered Preferences. 475-502
  
• Juan Perote-Peña, Ashley Piggins:
  Non-manipulable Social Welfare Functions when Preferences are Fuzzy. 503-515
  
• Tijmen R. Daniëls, Eric Pacuit:
  A General Approach to Aggregation Problems. 517-536