Omitting Types in an Intermediate Logic Seyed-Mohammad BagheriMassoud Pourmahdian OriginalPaper 05 April 2011 Pages: 319 - 328
On the Consistency of a Plural Theory of Frege’s Grundgesetze Francesca Boccuni OriginalPaper 17 March 2011 Pages: 329 - 345
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited Victor Pambuccian OriginalPaper 17 March 2011 Pages: 347 - 349
The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations Takahiro Seki OriginalPaper 17 March 2011 Pages: 351 - 383
Tracks of Relations and Equivalences-based Reasoning G. ShtakserL. Leonenko OriginalPaper 17 March 2011 Pages: 385 - 413
One Hundred Years of Intuitionism (1907-2007) Jean Paul Van Bendegem BookReview 17 March 2011 Pages: 421 - 425