1. Normal forms for fuzzy logics: a proof-theoretic approach

   • Petr Cintula
   • George Metcalfe

   OriginalPaper 14 March 2007 Pages: 347 - 363

2. Provability in predicate product logic

   • Michael C. Laskowski
   • Shirin Malekpour

   OriginalPaper 13 March 2007 Pages: 365 - 378

3. Δ₁ Ultrapowers are totally rigid

   • T. G. McLaughlin

   OriginalPaper 11 April 2007 Pages: 379 - 384

4. Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters

   • Pierluigi Minari

   OriginalPaper 27 February 2007 Pages: 385 - 424

5. Fuzzy logics based on [0,1)-continuous uninorms

   • Dov Gabbay
   • George Metcalfe

   OriginalPaper 28 February 2007 Pages: 425 - 449

6. A cardinal preserving extension making the set of points of countable V cofinality nonstationary

   • Moti Gitik
   • Itay Neeman
   • Dima Sinapova

   OriginalPaper 25 April 2007 Pages: 451 - 456

7. Antichains in partially ordered sets of singular cofinality

   • Assaf Rinot

   OriginalPaper 21 March 2007 Pages: 457 - 464

8. The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic

   • Nobuyuki Sakamoto
   • Keita Yokoyama

   OriginalPaper 21 March 2007 Pages: 465 - 480

9. On some sheaves of special groups

   • Vincent Astier

   OriginalPaper 21 March 2007 Pages: 481 - 488

10. Generalized quantifier and a bounded arithmetic theory for LOGCFL

    • Satoru Kuroda

    OriginalPaper 23 March 2007 Pages: 489 - 516

11. Theories with constants and three countable models

    • Predrag Tanović

    OriginalPaper 17 March 2007 Pages: 517 - 527