Studia Logica, Volume 95

Volume 95, Number 3, August 2010

• J. Climent Vidal, J. Soliveres Tur:
  A 2-categorial Generalization of the Concept of Institution. 301-344
  
• Miklós Ferenczi:
  Non-standard Stochastics with a First Order Algebraization. 345-354
  
• Katalin Bimbó:
  Schönfinkel-type Operators for Classical Logic. 355-378
  
• M. L. J. van de Vel:
  Theories with the Independence Property. 379-405
  
• Adam Kolany:
  Reversed Resolution in Reducing General Satisfiability Problem. 407-416
  
• Tamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski:
  Extending Free Pregroups with Lower Bounds. 417-441
  
• Silvio Ghilardi:
  Book Reviews. 443-448
  

Last update Sat May 25 21:04:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page