1. A 2-categorial Generalization of the Concept of Institution

   • J. Climent Vidal
   • J. Soliveres Tur

   OriginalPaper 27 June 2010 Pages: 301 - 344

2. Non-standard Stochastics with a First Order Algebraization

   • Miklós Ferenczi

   OriginalPaper 27 June 2010 Pages: 345 - 354

3. Schönfinkel-type Operators for Classical Logic

   • Katalin Bimbó

   OriginalPaper 27 June 2010 Pages: 355 - 378

4. Theories with the Independence Property

   • MLJ van de Vel

   OriginalPaper 27 June 2010 Pages: 379 - 405

5. Reversed Resolution in Reducing General Satisfiability Problem

   • Adam Kolany

   OriginalPaper 27 June 2010 Pages: 407 - 416

6. Extending Free Pregroups with Lower Bounds

   • Tamar Aizikowitz
   • Nissim Francez
   • Michael Kaminski

   OriginalPaper 27 June 2010 Pages: 417 - 441

7. Book Reviews

   • Silvio Ghilardi

   OriginalPaper 08 July 2010 Pages: 443 - 448