The Bulletin of Symbolic Logic

Volume 14, Issue 02, June 2008

  • Automata presenting structures: A survey of the finite string case, by Sasha Rubin, pages 169 — 209.
  • Mathematical fuzzy logics, by Siegfried Gottwald, pages 210 — 239.
  • Gentzen's proof of normalization for natural deduction, by Jan von Plato, pages 240 — 257.

  • Reviews, pages 258 — 273.
  • In this issue:

  • T. Franzén, Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions, reviewed by Lev D. Beklemishev, page 258.
  • R. Taschner, The Continuum, reviewed by Robert Lubarsky, page 260.
  • N. Salmon Metaphysics, mathematics, and meaning, reviewed by Brian van den Broek, page 262.
  • I. Chiswell and W. Hodges, Mathematical logic, reviewed by Robert Lubarsky, page 265.
  • J. H. Lambert, Philosophische Schriften, Vol. VIII, reviewed by Volker Peckhaus, page 267.
  • K. Došen and Z. Petrić, Proof-net categories, reviewed by Lutz Straßburger, page 268.
  • C. Martínez, J. L. Falguera and J. M. Sagüillo (editors), Current topics in logic and analytic philosophy, reviewed by Alasdair Urquhart, page 271.
  • C. Thiel (editor), Leopold Löwenheim (1878—1957), reviewed by Volker Peckhaus, page 272.

  • Notices, pages 274 — 279.

  • The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.