Received, November 25, 2007. Accepted, June 4, 2008. Recent technological advances and collaborative efforts between neurosurgeons and neurointensivists have reduced the overall aneurysmal subarachnoid hemorrhage (SAH) fatality rate from 50% to nearly 20% (Table 1) (96, 115). Despite this encouraging trend, there continues to be room for improvement in the outlook for poorgrade SAH. While goodg...

Full Intuitionistic Linear Logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate all of the linear connectives, e.g. tensor, par, and implication, into an intuitionistic linear logic. It was shown that their formalization of FILL did not enjoy cut-elimination by Bierman, but Bellin proposed a change to the definition o...

Many philosophers and psychologists who approach the issue of representation from a computational or measurement theoretical perspective end up having to deny the possibility of junk representations—representations present in an organism's head but that enter into no psychological processes or produce no behaviour. However, I argue, a more functional perspective makes the possibility of junk re...

I discuss the interpretation of a recent experiment showing quantum interference in time. It is pointed out that the standard nonrelativistic quantum theory, used by the authors in their analysis, does not have the property of coherence in time, and hence cannot account for the results found. Therefore, this experiment has fundamental importance beyond the technical advances it represents. Some...

The following seven species of southern African Salticidae, known only from type specimens or one sex, and last described in the early 20th century, are redescribed: Baryphas ahenus Simon, 1902, Brancus muticus Simon, 1902, Euophrys quadrispinosa Lawrence, 1927, Evarcha natalica Simon, 1902, Mogrus macrocephalus Lawrence, 1927, Thyene damarensis Lawrence, 1927 and Thyene bilineata Lawrence, 192...

We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard’s coherence spaces and de Paiva’s Dialectica-like semantics.1