A 2-categorial Generalization of the Concept of Institution J. Climent VidalJ. Soliveres Tur OriginalPaper 27 June 2010 Pages: 301 - 344
Non-standard Stochastics with a First Order Algebraization Miklós Ferenczi OriginalPaper 27 June 2010 Pages: 345 - 354
Schönfinkel-type Operators for Classical Logic Katalin Bimbó OriginalPaper 27 June 2010 Pages: 355 - 378
Reversed Resolution in Reducing General Satisfiability Problem Adam Kolany OriginalPaper 27 June 2010 Pages: 407 - 416
Extending Free Pregroups with Lower Bounds Tamar AizikowitzNissim FrancezMichael Kaminski OriginalPaper 27 June 2010 Pages: 417 - 441