Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’ M. Randall Holmes OriginalPaper 28 February 2008 Pages: 195 - 213
Three-Valued Temporal Logic Q t and Future Contingents Seiki AkamaYasunori NagataChikatoshi Yamada OriginalPaper 28 February 2008 Pages: 215 - 231
Decomposability of the Finitely Generated Free Hoop Residuation Algebra Marta A. Zander OriginalPaper 28 February 2008 Pages: 233 - 246
Decidable Cases of First-order Temporal Logic with Functions Walter Hussak OriginalPaper 28 February 2008 Pages: 247 - 261
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View Sato Kentaro OriginalPaper 04 March 2008 Pages: 295 - 324