| 451 | -- | 0 | Heinrich Wansing. Editorial |
| 453 | -- | 468 | Sergei P. Odintsov. Algebraic Semantics for Paraconsistent Nelson s Logic |
| 469 | -- | 479 | Petr Hájek. Fuzzy Logics with Noncommutative Conjuctions |
| 481 | -- | 502 | Stefania Lusin, Antonino Salibra. A Note on Absolutely Unorderable Combinatory Algebras |
| 503 | -- | 530 | Anuj Dawar, David Richerby. Fixed-point Logics with Nondeterministic Choice |
| 532 | -- | 555 | Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna. Hoops and Fuzzy Logic |
| 557 | -- | 580 | Ofer Arieli, Marc Denecker. Reducing Preferential Paraconsistent Reasoning to Classical Entailment |
| 581 | -- | 594 | Stephen A. Cook, Yongmei Liu. A Complete Axiomatization for Blocks World |
| 595 | -- | 624 | Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas. Fibring Logics with Topos Semantics |
| 625 | -- | 627 | Richard Banach. Book Review: Concurrency Verification: Introduction to Compositional and Non-compositional Methods by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.) |